Parent Directory | Revision Log | Patch
revision 1.8 by benja, Tue Sep 24 18:15:35 2002 UTC | revision 1.9 by benja, Tue Sep 24 19:23:07 2002 UTC | |
---|---|---|
# | Line 179 public static final String rcsid = "$Id$ | Line 179 public static final String rcsid = "$Id$ |
179 | fallback.mode = fallback.SEARCH; | fallback.mode = fallback.SEARCH; |
180 | buffer = ""; | buffer = ""; |
181 | searchStart = fallback.windows[1].cursor; | searchStart = fallback.windows[1].cursor; |
182 | } else if(k.equals("Ctrl-Shift-F")) { | |
183 | fallback.newWindow(fallback.windows[1].cursor); | |
184 | } else if(k.equals("Ctrl-Shift-N")) { | |
185 | fallback.newWindow(null); | |
186 | } else if(k.length() == 1) { | } else if(k.length() == 1) { |
187 | switch(k.charAt(0)) { | switch(k.charAt(0)) { |
188 | // Right Rose | // Right Rose |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |