[Gzz-commits] gzz/gzz/client/gl GLScreen.java

[Benja Fallenstein]

CVSROOT:        /cvsroot/gzz
Module name:    gzz
Changes by:     Benja Fallenstein <address@hidden>      02/09/05 14:16:01

Modified files:
        gzz/client/gl  : GLScreen.java 

Log message:
        Hacks to make Ctrl-(Key) and Backspace work in GL

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/gzz/gzz/gzz/client/gl/GLScreen.java.diff?tr1=1.26&tr2=1.27&r1=text&r2=text

Patches:
Index: gzz/gzz/client/gl/GLScreen.java
diff -c gzz/gzz/client/gl/GLScreen.java:1.26 
gzz/gzz/client/gl/GLScreen.java:1.27
*** gzz/gzz/client/gl/GLScreen.java:1.26        Wed Sep  4 08:48:09 2002
--- gzz/gzz/client/gl/GLScreen.java     Thu Sep  5 14:16:01 2002
***************
*** 33,39 ****
  import java.util.HashMap;
  
  public class GLScreen extends GraphicsAPI.Window {
! public static final String rcsid = "$Id: GLScreen.java,v 1.26 2002/09/04 
12:48:09 tjl Exp $";
      public static boolean dbg = false;
      private static void pa(String s) { System.err.println(s); }
  
--- 33,39 ----
  import java.util.HashMap;
  
  public class GLScreen extends GraphicsAPI.Window {
! public static final String rcsid = "$Id: GLScreen.java,v 1.27 2002/09/05 
18:16:01 benja Exp $";
      public static boolean dbg = false;
      private static void pa(String s) { System.err.println(s); }
  
***************
*** 65,71 ****
                } else if(s.equals("Udiaeresis")) { s = "\u00dc";
                } else if(s.equals("aring")) { s = "\u00e5";
                } else if(s.equals("Aring")) { s = "\u00c5";
!               }
                binder.keystroke(s);
            }
            boolean didDrag = false;
--- 65,80 ----
                } else if(s.equals("Udiaeresis")) { s = "\u00dc";
                } else if(s.equals("aring")) { s = "\u00e5";
                } else if(s.equals("Aring")) { s = "\u00c5";
!               } else if(s.equals("BackSpace")) { s = "Backspace";
!                 }
!                 if(s.startsWith("Ctrl-") || s.startsWith("Alt-")) {
!                     char c = s.charAt(s.length()-1);
!                     if(Character.isUpperCase(c))
!                         s = s.substring(0, s.length()-1) + "Shift-" + c;
!                     else
!                         s = s.substring(0, s.length()-1) +
!                             Character.toUpperCase(c);
!                 }
                binder.keystroke(s);
            }
            boolean didDrag = false;