{\r
switch(evt.getKeyCode())\r
{\r
- case 27: // escape key\r
+ case 27: // escape key\r
av.setRubberbandGroup(null);\r
RefreshPanels();\r
break;\r
case KeyEvent.VK_A:\r
alignFrame.selectAllSequenceMenuItem_actionPerformed(null);\r
break;\r
-\r
+ case KeyEvent.VK_DOWN:\r
+ alignFrame.moveSelectedSequences(false);\r
+ break;\r
+ case KeyEvent.VK_UP:\r
+ alignFrame.moveSelectedSequences(true);\r
+ break;\r
+ case KeyEvent.VK_F:\r
+ alignFrame.findMenuItem_actionPerformed(null);\r
+ break;\r
}\r
-\r
- /* public void doKeyPressed(KeyEvent evt)\r
- {\r
-\r
- if (evt.isControlDown() && evt.getKeyChar() == 'f')\r
- findMenuItem_actionPerformed(null);\r
- }*/\r
-\r
}\r
});\r
-\r
-\r
}\r
\r
+\r
public void highlightSearchResults(int [] results)\r
{\r
seqPanel.seqCanvas.highlightSearchResults( results );\r