Changeset 28628

Show
Ignore:
Timestamp:
14.11.2013 16:20:40 (6 years ago)
Author:
ak19
Message:

Still related to the previous 2 commits (28626 and 28627). Adding a stackoverflow link on how to convert unicode codepoints into strings, which can come in handy for codepoints that are representing numbers larger than a char.

Location:
main/trunk/gli/src/org/greenstone/gatherer
Files:
2 modified

Legend:

Unmodified
Added
Removed
  • main/trunk/gli/src/org/greenstone/gatherer/gems/GEMS.java

    r28627 r28628  
    450450        String modkey = "ctrl"; 
    451451        if(Utility.isMac()) { // on Mac, we now use the Apple key instead of Ctrl for GLI/GEMS edit shortcuts 
     452        // http://stackoverflow.com/questions/5585919/creating-unicode-character-from-its-number 
    452453        char appleKeyCodepoint = 0x2318; // applekey symbol unicode codepoint: U+2318 (\u2318) 
    453454        String appleKeySymbol = String.valueOf(appleKeyCodepoint); 
  • main/trunk/gli/src/org/greenstone/gatherer/gui/MenuBar.java

    r28627 r28628  
    165165    String modkey = "ctrl"; 
    166166    if(Utility.isMac()) { // on Mac, we now use the Apple key instead of Ctrl for GLI/GEMS edit shortcuts 
     167        // http://stackoverflow.com/questions/5585919/creating-unicode-character-from-its-number 
    167168        char appleKeyCodepoint = 0x2318; // applekey symbol unicode codepoint: U+2318 (\u2318) 
    168169        String appleKeySymbol = String.valueOf(appleKeyCodepoint);