From the video, it looks like the application is still responding to the mouse, just not redrawing on the screen. Possibly this is a deadlock in the screen redraw process. Do you have any hints as to reliably reproduce this? I've never seen this happen on Linux, of course, so it might be a Windows only issue. Also, any hints as to when this started happening?
Add Leap 16 to obsCheck and Ravel build targets
Centering Bug
Turns out that an upgrade to Cairo internals a few years ago means that rendering to a canvas of size 2e9 pixels squared fails, and has to be reduced to 2e6 pixels each side. I had come across this problem before in unrelated EcoLab work, but the change also needed to be done on one line in the Minsky codebase. The issue lurked in the background, hidden whilst I was using outdated versions of the library on MXE, only to be exposed when my computer's SSD died and the dev environment rebuilt as a consequence....
Autodetect presence of webasm support in browser
Closing this ticket as stale. Recreate it if there's ever a need for it.
Feedback on import form
My suggestion of 2024-11-13 was implemented. Closing this as stale.