1 Commits

Author	SHA1	Message	Date
Kartik K. Agaram	7ca2006145	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.	2023-12-01 20:59:22 -08:00