suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1185faa590
gui/gui-lib/mred/private
History
Matthew Flatt 1185faa590 cocoa: adjust key events for empty Ctl- combos and special Option 
In particular, restore key handling that makes Ctl-Space produce an
event with a Space character. Also, restore `special-option-key`
support, while correcting the documentation to say what
`special-option-key` and `special-control-key` actually do.

Closes PR 14934
2015-01-14 14:08:28 -07:00
..
wx cocoa: adjust key events for empty Ctl- combos and special Option 2015-01-14 14:08:28 -07:00
wxme Remove extra directories. 2014-12-02 02:33:07 -05: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 Remove extra directories. 2014-12-02 02:33:07 -05: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 Remove extra directories. 2014-12-02 02:33:07 -05:00
mrcanvas.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
mrcontainer.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
mred.rkt Remove extra directories. 2014-12-02 02:33:07 -05: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 Remove extra directories. 2014-12-02 02:33:07 -05: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