gui/gui-lib/mred
Matthew Flatt b06ee46854 GTK+ 3: fix client->global in a frame with a menu bar
It seems that the right answer was produced in GTK+ 2 due to a
client-location callback, but change the code to use the intended
approach of tracking the menu height.
2015-08-21 16:19:47 -06:00
..
lang Remove extra directories. 2014-12-02 02:33:07 -05:00
private GTK+ 3: fix client->global in a frame with a menu bar 2015-08-21 16:19: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