A lightweight programming environment for desktop and mobile devices

partition handlers between screen regions

This fixes one bug I know of: dragging the mouse atop the settings menu was selecting text in the editor underneath.

Created by  akkartik  on December 1, 2023
NVZTMKERX3NCKNKRYOTAHNVT7CDVHQW3KMVLH35USH5D3TCIQOXQC
Change contents