Changeset 1051 in josm for trunk/src/org/openstreetmap/josm/tools
- Timestamp:
- 2008-10-23T14:02:38+02:00 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/ShortCut.java
r1050 r1051 29 29 */ 30 30 public class ShortCut { 31 public static final int SHIFT = KeyEvent.SHIFT_DOWN_MASK; 32 public static final int CTRL = KeyEvent.CTRL_DOWN_MASK; 33 public static final int SHIFT_CTRL = KeyEvent.SHIFT_DOWN_MASK|KeyEvent.CTRL_DOWN_MASK; 31 // public static final int SHIFT = KeyEvent.SHIFT_DOWN_MASK; 32 // public static final int CTRL = KeyEvent.CTRL_DOWN_MASK; 33 // public static final int SHIFT_CTRL = KeyEvent.SHIFT_DOWN_MASK|KeyEvent.CTRL_DOWN_MASK; 34 public static final int SHIFT_DEFAULT = 1; 34 35 private String shortText; // the unique ID of the shortcut 35 36 private String longText; // a human readable description that will be shown in the preferences … … 309 310 int i = 0; 310 311 for (ShortCut sc : ShortCuts.values()) { 312 // TODO: Remove sc.getAssignedUser() when we fixed all internal conflicts 311 313 if (!sc.getAutomatic() && !sc.getReset() && sc.getAssignedUser()) { 312 314 Main.pref.put("shortcut.shortcut."+i, sc.asPrefString()); … … 386 388 Integer defaultModifier = Groups.get(requestedGroup + GROUPS_DEFAULT); 387 389 if(modifier != null) { 388 defaultModifier = modifier; 390 if(modifier == SHIFT_DEFAULT) 391 defaultModifier |= KeyEvent.SHIFT_MASK; 392 else 393 defaultModifier = modifier; 389 394 } 390 395 else if (defaultModifier == null) { // garbage in, no shortcurt out
Note:
See TracChangeset
for help on using the changeset viewer.