gui/gui-lib/mred
Matthew Flatt f91e549e59 Cocoa: no child-window workaround in 10.10 (to avoid different bug)
A GC-icon display is implemented with a child window on OS X. In some
OS X version prior to 10.10 (not sure which ones), screen
reconfigurations did not move child windows properly relative to
parent windows, so all child windows were reset after a screen change.
In 10.10, meanwhile, Mission Control can cause screen-change
notifications, and adding a child window to a Mission
Control-minimized fullscreened window will goes terribly wrong.
Fortunately, 10.10 seems to update child-window locations correctly on
screen reconfigurations, in which case the old workaround that hits
the new bug can be skipped.
2015-08-19 12:05:47 -06:00
..
lang Remove extra directories. 2014-12-02 02:33:07 -05:00
private Cocoa: no child-window workaround in 10.10 (to avoid different bug) 2015-08-19 12:05:47 -06:00
doc.txt Remove extra directories. 2014-12-02 02:33:07 -05:00
Draw_and_GUI_5_1.txt Remove extra directories. 2014-12-02 02:33:07 -05:00
edit-main.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
edit.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
HISTORY.txt Remove extra directories. 2014-12-02 02:33:07 -05:00
info.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
installer.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
main.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
MrEd_100_Framework.txt Remove extra directories. 2014-12-02 02:33:07 -05:00
MrEd_100.txt Remove extra directories. 2014-12-02 02:33:07 -05:00
mred-sig.rkt Support and prefer GTK+ 3 on Unix/X 2015-08-16 20:55:35 -06:00
mred-unit.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
mred.1 Remove extra directories. 2014-12-02 02:33:07 -05:00
mred.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00