gui/gui-doc
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
..
embedded-gui Remove extra directories. 2014-12-02 02:33:07 -05:00
mrlib add definitely-same-image? to mrlib/image-core 2014-12-30 10:35:13 -06:00
scribblings cocoa: adjust key events for empty Ctl- combos and special Option 2015-01-14 14:08:28 -07:00
info.rkt Remove extra directories. 2014-12-02 02:33:07 -05:00
LICENSE.txt Remove extra directories. 2014-12-02 02:33:07 -05:00