65 |
} else if(s.equals("Udiaeresis")) { s = "\u00dc"; |
} else if(s.equals("Udiaeresis")) { s = "\u00dc"; |
66 |
} else if(s.equals("aring")) { s = "\u00e5"; |
} else if(s.equals("aring")) { s = "\u00e5"; |
67 |
} else if(s.equals("Aring")) { s = "\u00c5"; |
} else if(s.equals("Aring")) { s = "\u00c5"; |
68 |
} |
} else if(s.equals("BackSpace")) { s = "Backspace"; |
69 |
|
} |
70 |
|
if(s.startsWith("Ctrl-") || s.startsWith("Alt-")) { |
71 |
|
char c = s.charAt(s.length()-1); |
72 |
|
if(Character.isUpperCase(c)) |
73 |
|
s = s.substring(0, s.length()-1) + "Shift-" + c; |
74 |
|
else |
75 |
|
s = s.substring(0, s.length()-1) + |
76 |
|
Character.toUpperCase(c); |
77 |
|
} |
78 |
binder.keystroke(s); |
binder.keystroke(s); |
79 |
} |
} |
80 |
boolean didDrag = false; |
boolean didDrag = false; |