Changeset 14282 in josm for trunk/src/org

Timestamp:

2018-09-30T01:54:13+02:00 (6 years ago)

Author:

Don-vip

Message:

see #16732 - more keyboard fixes

Location:

trunk/src/org/openstreetmap/josm

Files:

• data/UndoRedoHandler.java (modified) (1 diff)
• tools/KeyboardUtils.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/data/UndoRedoHandler.java

@@ -264 +264 @@
     /**
      * Determines if commands can be undone.
-     * @return {14281 true} if at least a command can be undone
-     * @since xxx
+     * @return {@code true} if at least a command can be undone
+     * @since 14281
      */
     public boolean hasUndoCommands() {

trunk/src/org/openstreetmap/josm/tools/KeyboardUtils.java

@@ -205 +205 @@
                 // https://en.wikipedia.org/wiki/German_keyboard_layout
                 result.add((char) KeyEvent.VK_DEAD_CIRCUMFLEX);
+                result.add('ˆ'); // U+02C6 : dead/modifier circumflex
                 break;
             case "cs": // Czech
@@ -240 +241 @@
                 // https://en.wikipedia.org/wiki/QWERTY#Estonian
                 result.add((char) KeyEvent.VK_DEAD_CARON); // https://en.wikipedia.org/wiki/Caron
+                result.add('ˇ'); // U+02C7 : dead key/modifier
                 break;
             case "is": // Icelandic
@@ -302 +304 @@
             // Works also for Dvorak, https://en.wikipedia.org/wiki/Dvorak_Simplified_Keyboard
             result.add('`'); // U+0060: On US QWERTY, this is not a dead key
+            result.add((char) KeyEvent.VK_DEAD_GRAVE);
             result.add('ˋ'); // U+02CB: On International QWERTY, this is a dead key
             return result;