Parent Directory | Revision Log | Patch
revision 1.9 by benja, Tue Sep 24 19:23:07 2002 UTC | revision 1.10 by benja, Wed Sep 25 10:56:54 2002 UTC | |
---|---|---|
# | Line 123 public static final String rcsid = "$Id$ | Line 123 public static final String rcsid = "$Id$ |
123 | } | } |
124 | } | } |
125 | ||
126 | public void keystroke(String k) { | public void keystroke(String k, Object win) { |
127 | if(dbg) pa("Key: "+k); | if(dbg) pa("Key: "+k); |
128 | ||
129 | if(k.equals("\uFFFF")) { | if(k.equals("\uFFFF")) { |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |