gui/gui-lib/mred/private/wx
Matthew Flatt ea576d3177 Mac OS X 10.11: disable auto-update for suspended-flush windows
Previous versions of OS X seem to have automatically disabled
update for a window when flushing is disabled, but now we have to
do it ourselves, otherwise text editors can flicker a lot. (The
system change is probably related to the removal of the
`isFlushWindowDisabled` method of `NSWindow` (which was
deprecated in 10.10).
2015-10-04 12:11:21 -06:00
..
cocoa Mac OS X 10.11: disable auto-update for suspended-flush windows 2015-10-04 12:11:21 -06:00
common fix GC blit resizing 2015-08-19 11:59:29 -06:00
gtk GTK+ 3: fix auto-resize of message% 2015-08-27 15:28:09 -06:00
win32 add get-gl-client-size to canvas% 2015-08-18 15:10:02 -06:00
info.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
platform.rkt Support and prefer GTK+ 3 on Unix/X 2015-08-16 20:55:35 -06:00