Parent Directory | Revision Log | Patch
revision 1.29 by benja, Wed Sep 25 10:56:54 2002 UTC | revision 1.30 by benja, Wed Sep 25 11:36:23 2002 UTC | |
---|---|---|
# | Line 75 public static final String rcsid = "$Id$ | Line 75 public static final String rcsid = "$Id$ |
75 | s = s.substring(0, s.length()-1) + | s = s.substring(0, s.length()-1) + |
76 | Character.toUpperCase(c); | Character.toUpperCase(c); |
77 | } | } |
78 | if(s.startsWith("Ctrl-Shift-")) { | |
79 | s = "Alt-" + s.substring("Ctrl-Shift-".length()); | |
80 | } | |
81 | binder.keystroke(s, repr); | binder.keystroke(s, repr); |
82 | } | } |
83 | boolean didDrag = false; | boolean didDrag = false; |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |