gui/gui-lib/mred/private/wx
Matthew Flatt 41d4e9dd2d Cocoa: fix refresh and fullscreen problems
Add more agressive re-enabling of screen updates and explicit `update`
calls to avoid partially refreshed frames and never-updated titlebars
on El Capitan.

Also, use `close` instead of `orderOut` to hide a frame. That fixes
problems with closing windows that are in fullscreen mode.

Closes racket/drracket#33
2015-12-31 15:50:41 -07:00
..
cocoa Cocoa: fix refresh and fullscreen problems 2015-12-31 15:50:41 -07:00
common skip clean-up of bitmap that isn't there 2015-10-29 07:43:45 -04:00
gtk Casting flag-x-error-handler in this case too. Necessary for getting GL working on my Linux/Nvidia box to test pict3d 2015-12-14 08:55:36 -05:00
win32 Windows: fix play-sound to return a boolean 2015-12-28 10:09:10 -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