\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
{
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())
{