Programming environment for editing various of my live apps without restarting them.

bugfix: mouse clicks on manifest navigator

I'd somehow gotten so used to using the keyboard I forgot I'd supported the mouse. At least extremely initially.

I think there might still be one bug I haven't been able to reproduce: sometimes clicking on the nav ends up going to edit.mouse_release with a nil State. Which means Cursor_node.editor is nil somehow.

Thanks Myte for reporting this bug.

Created by  Kartik K. Agaram  on September 10, 2023
COQFPMPXILQYUQNRTLASNXLCWUNQTQKAA7UMWUOOTED2MVYXUCZAC
Change contents