Jonathan Coates 4541decd40 Fix canvas not always being redrawn on term resize ... Paint implements its menu slightly differently to edit, in that it takes control of the event loop until the menu is closed. This means that the term_resize event is ignored, and so the canvas not redrawn when the menu is open.		2023-10-03 18:18:33 +01:00
..
src	Fix canvas not always being redrawn on term resize	2023-10-03 18:18:33 +01:00
build.gradle.kts	Add support for proxying HTTP requests (#1461)	2023-06-06 18:58:24 +00:00