Jonathan Coates 033378333f Standardise how we discard "char" events ... One common issue we get when a program exits after handling a "key" event is that it leaves the "char" event on the queue. This means that the shell (or whatever program we switch in to) then receives the "char" event, often displaying it to the screen. Previously we've got around this by doing sleep(0) before exiting the program. However, we also see this problem in edit's run handler script, and I'm less comfortable doing the same hack there. This adds a new internal discard_char function, which will either wait one tick or return when seeing a char/key_up event. Fixes #1705		2024-01-31 20:49:43 +00:00
..
src	Standardise how we discard "char" events	2024-01-31 20:49:43 +00:00
build.gradle.kts	Change how we put test libraries on the class path	2024-01-31 19:49:36 +00:00