arduino/Arduino — pull request #1279 by sgk (2013-02-12 16:34:21+00:00)
Title: Minor bugs fixed for the editor

Minor bugs fixed for the editor. See the log texts for each commit.

* newJMenuItem() should use SHORTCUT_KEY_MASK (not a bug)
* Fix: Exception when decreasing indent.
* Fix: "Ctrl+," and "Ctrl+/"
* Fix: Exception if type ESC for close confirmation.