gui/gui-lib
Matthew Flatt a964f3effb fix refresh on El Capitan
When restoring autodisplay, need to check whether a display was
lost since display was suspended.

(cherry picked from commit 9bf18505d5)
2015-11-07 06:48:28 -07:00
..
embedded-gui Remove extra directories. 2014-12-02 02:33:07 -05:00
framework Add missing history annotations. 2015-10-16 16:49:11 -04:00
hierlist Remove extra directories. 2014-12-02 02:33:07 -05:00
icons Remove extra directories. 2014-12-02 02:33:07 -05:00
mred fix refresh on El Capitan 2015-11-07 06:48:28 -07:00
mrlib Add snip canvases to mrlib, from unstable/gui/snip. 2015-09-11 17:19:40 -05:00
racket Remove extra directories. 2014-12-02 02:33:07 -05:00
scheme Remove extra directories. 2014-12-02 02:33:07 -05:00
scribble/private guard the result of start-skip-spaces better 2015-06-03 18:00:54 -05:00
info.rkt Mac OS X 10.11: register control font to make it Pango-accessible 2015-10-04 20:36:17 -06:00
LICENSE.txt Remove extra directories. 2014-12-02 02:33:07 -05:00