- Timestamp:
- 2013-11-14T16:09:39+13:00 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/gems/GEMS.java
r28626 r28627 447 447 edit = new JMenu(); 448 448 edit.setText(Dictionary.get("Menu.Edit")); 449 String modkey = Utility.isMac() ? "apple" : "ctrl"; 449 450 String modkey = "ctrl"; 451 if(Utility.isMac()) { // on Mac, we now use the Apple key instead of Ctrl for GLI/GEMS edit shortcuts 452 char appleKeyCodepoint = 0x2318; // applekey symbol unicode codepoint: U+2318 (\u2318) 453 String appleKeySymbol = String.valueOf(appleKeyCodepoint); 454 modkey = appleKeySymbol; 455 } 456 450 457 edit_cut = new JMenuItem(Dictionary.get("Menu.Edit_Cut", modkey)); 451 458 edit_cut.addActionListener(this);
Note:
See TracChangeset
for help on using the changeset viewer.