gui/gui-lib/mred/private
Matthew Flatt a948c8a2f0 avoid showing GC icon for a frame that is not shown
Commit ac2d39e0e1 has the side effect of showing the window when its
parent is still hidden.
2015-10-03 13:20:59 -06:00
..
wx avoid showing GC icon for a frame that is not shown 2015-10-03 13:20:59 -06:00
wxme fix propagation of 'deleted flag for low-level editor-canvas% 2015-08-27 20:52:34 -06:00
app.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
check.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
const.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
cycle.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
dynamic.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
editor.rkt Change color in editor: Grey -> Gray 2015-01-30 13:27:08 -07:00
filedialog.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
fontdialog.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
gdi.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
helper.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
kernel.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
lock.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
messagebox.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
misc.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
moredialogs.rkt fix get-color-from-user on Mac OS X 2015-10-02 15:56:42 -06:00
mrcanvas.rkt add get-gl-client-size to canvas% 2015-08-18 15:10:02 -06:00
mrcontainer.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
mred.rkt Support and prefer GTK+ 3 on Unix/X 2015-08-16 20:55:35 -06:00
mritem.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
mrmenu.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
mrmenuintf.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
mrpanel.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
mrpopup.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
mrtextfield.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
mrtop.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
mrwindow.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
path-dialog.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
repl.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
seqcontract.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
snipfile.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
syntax.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
te.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
wx.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
wxcanvas.rkt canvas% on-scroll: call in non-atomic mode 2015-05-19 14:01:07 -06:00
wxcontainer.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
wxitem.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
wxlitem.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
wxmenu.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
wxpanel.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
wxtextfield.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
wxtop.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
wxwindow.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00