Matthew Flatt f5e534fd87 win32: fix canvas refresh ... Refresh was wrong in the case that a canvas had been "reset" in certain ways, such as showing and hiding, and the canvas is drawn on before a Win32-level refresh event was processed. In that case `on-paint' wasn't called, and it should have been. Closes PR 12152		2011-09-02 08:27:49 -06:00
..
lang	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
private	win32: fix canvas refresh	2011-09-02 08:27:49 -06:00
doc.txt	wxme belongs outside of mred, obviously	2007-01-18 14:26:29 +00:00
edit-main.rkt	".ss" -> ".rkt" scan done.	2011-07-02 10:37:53 -04:00
edit.rkt	rename all files .ss -> .rkt	2010-04-27 16:50:15 -06:00
info.rkt	revert "mzscheme" and "mred" collection versions	2011-03-28 15:17:17 -06:00
installer.rkt	remove compat bins: DrScheme, MrEd.exe, MrEd.app	2011-04-15 07:49:45 -06:00
main.rkt	".ss" -> ".rkt" scan done.	2011-07-02 10:37:53 -04:00
mred-sig.rkt	add get-display-count' and #:screen argument to get-display-size'	2011-07-18 20:15:15 -06:00
mred-unit.rkt	".ss" -> ".rkt" scan done.	2011-07-02 10:37:53 -04:00
mred.rkt	Add a layer of export redirection in mred/mred.rkt.	2011-01-11 21:55:37 -05:00