[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gzz-commits] gzz/gzz/view FallbackBinder.java
From: |
Benja Fallenstein |
Subject: |
[Gzz-commits] gzz/gzz/view FallbackBinder.java |
Date: |
Wed, 25 Sep 2002 09:16:27 -0400 |
CVSROOT: /cvsroot/gzz
Module name: gzz
Changes by: Benja Fallenstein <address@hidden> 02/09/25 09:16:27
Modified files:
gzz/view : FallbackBinder.java
Log message:
Do arrowset reassignment after opening new window
CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/gzz/gzz/gzz/view/FallbackBinder.java.diff?tr1=1.13&tr2=1.14&r1=text&r2=text
Patches:
Index: gzz/gzz/view/FallbackBinder.java
diff -c gzz/gzz/view/FallbackBinder.java:1.13
gzz/gzz/view/FallbackBinder.java:1.14
*** gzz/gzz/view/FallbackBinder.java:1.13 Wed Sep 25 09:08:19 2002
--- gzz/gzz/view/FallbackBinder.java Wed Sep 25 09:16:27 2002
***************
*** 40,46 ****
/** Keybindings for the Fallback client.
*/
public class FallbackBinder extends AbstractBinder {
! public static final String rcsid = "$Id: FallbackBinder.java,v 1.13
2002/09/25 13:08:19 benja Exp $";
public static boolean dbg = false;
private static void pa(String s) { System.err.println(s); }
--- 40,46 ----
/** Keybindings for the Fallback client.
*/
public class FallbackBinder extends AbstractBinder {
! public static final String rcsid = "$Id: FallbackBinder.java,v 1.14
2002/09/25 13:16:27 benja Exp $";
public static boolean dbg = false;
private static void pa(String s) { System.err.println(s); }
***************
*** 194,203 ****
buffer = "";
searchStart = fallback.windows[1].cursor;
} else if(k.equals("Alt-F")) {
! fallback.windows[1] =
! fallback.newWindow(fallback.windows[1].cursor);
} else if(k.equals("Alt-N")) {
! fallback.windows[1] = fallback.newWindow(null);
} else if(k.equals("Alt-A")) {
op(REASSIGN_ARROWSET);
} else if(k.length() == 1) {
--- 194,204 ----
buffer = "";
searchStart = fallback.windows[1].cursor;
} else if(k.equals("Alt-F")) {
! fallback.newWindow(fallback.windows[1].cursor);
! op(REASSIGN_ARROWSET);
} else if(k.equals("Alt-N")) {
! fallback.newWindow(null);
! op(REASSIGN_ARROWSET);
} else if(k.equals("Alt-A")) {
op(REASSIGN_ARROWSET);
} else if(k.length() == 1) {