Number pad keys can be used in cursor mode
authoramwaterhouse <Andrew Waterhouse>
Thu, 12 Apr 2007 14:00:59 +0000 (14:00 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 12 Apr 2007 14:00:59 +0000 (14:00 +0000)
src/jalview/appletgui/AlignFrame.java
src/jalview/gui/AlignFrame.java

index 7f2b497..4ee6e27 100755 (executable)
@@ -190,12 +190,16 @@ public class AlignFrame
 \r
   public void keyPressed(KeyEvent evt)\r
   {\r
-    if (viewport.cursorMode\r
-        && evt.getKeyCode() >= KeyEvent.VK_0\r
-        && evt.getKeyCode() <= KeyEvent.VK_9)\r
-    {\r
-      alignPanel.seqPanel.numberPressed(evt.getKeyChar());\r
-    }\r
+    if (viewport.cursorMode &&\r
+        ( (evt.getKeyCode() >= KeyEvent.VK_0 &&\r
+           evt.getKeyCode() <= KeyEvent.VK_9)\r
+         ||\r
+         (evt.getKeyCode() >= KeyEvent.VK_NUMPAD0 &&\r
+          evt.getKeyCode() <= KeyEvent.VK_NUMPAD9)\r
+        )\r
+        && Character.isDigit(evt.getKeyChar()))\r
+            alignPanel.seqPanel.numberPressed(evt.getKeyChar());\r
+\r
 \r
     switch (evt.getKeyCode())\r
     {\r
index 7db8f01..8ece83f 100755 (executable)
@@ -170,12 +170,16 @@ public class AlignFrame
       {
         public void keyPressed(KeyEvent evt)
         {
-          if (viewport.cursorMode
-              && evt.getKeyCode() >= KeyEvent.VK_0
-              && evt.getKeyCode() <= KeyEvent.VK_9)
-          {
+          if (viewport.cursorMode &&
+              ( (evt.getKeyCode() >= KeyEvent.VK_0 &&
+                 evt.getKeyCode() <= KeyEvent.VK_9)
+               ||
+               (evt.getKeyCode() >= KeyEvent.VK_NUMPAD0 &&
+                evt.getKeyCode() <= KeyEvent.VK_NUMPAD9)
+              )
+              && Character.isDigit(evt.getKeyChar()))
             alignPanel.seqPanel.numberPressed(evt.getKeyChar());
-          }
+
 
           switch (evt.getKeyCode())
           {