Changeset 28627 for main/trunk/gli
- Timestamp:
- 2013-11-14T16:09:39+13:00 (10 years ago)
- Location:
- main/trunk/gli/src/org/greenstone/gatherer
- Files:
-
- 2 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); -
main/trunk/gli/src/org/greenstone/gatherer/gui/MenuBar.java
r28626 r28627 162 162 edit.setText(Dictionary.get("Menu.Edit")); 163 163 edit.setComponentOrientation(Dictionary.getOrientation()); 164 String modkey = Utility.isMac() ? "apple" : "ctrl"; 164 165 String modkey = "ctrl"; 166 if(Utility.isMac()) { // on Mac, we now use the Apple key instead of Ctrl for GLI/GEMS edit shortcuts 167 char appleKeyCodepoint = 0x2318; // applekey symbol unicode codepoint: U+2318 (\u2318) 168 String appleKeySymbol = String.valueOf(appleKeyCodepoint); 169 modkey = appleKeySymbol; 170 } 171 165 172 edit_cut = new JMenuItem(Dictionary.get("Menu.Edit_Cut", modkey)); 166 173 edit_cut.addActionListener(Gatherer.g_man);
Note:
See TracChangeset
for help on using the changeset viewer.