- 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/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.