5 Commits

Author	SHA1	Message	Date
Matthew Flatt	73065a3ba6	fix propagation of 'deleted flag for low-level editor-canvas%	2015-08-27 20:52:34 -06:00
Matthew Flatt	3f4302e948	hide editor-canvas%'s => blink timer expires ... Ensure that a blink timer for a canvas stops running if the canvas becomes hidden. Otherwise, though a race condition, it's possible for a GUI program to never terminate if a "focus-out" event gets lost.	2015-08-16 20:55:35 -06:00
Matthew Flatt	6ed4157c51	fix boundary case for responding to horizontal scroll request	2015-05-21 08:52:01 -06:00
Matthew Flatt	12612670f6	editor-canvas%: fix scroll refresh when scroll bars are hidden	2015-05-21 08:52:01 -06:00
Sam Tobin-Hochstadt	135e357a37	Remove extra directories.	2014-12-02 02:33:07 -05:00