ScalePanel scalePanel;\r
ScorePanel scorePanel;\r
\r
- public AlignmentPanel(AlignFrame af, AlignViewport av)\r
+ public AlignmentPanel(AlignFrame af, final AlignViewport av)\r
{\r
alignFrame = af;\r
this.av = av;\r
RefreshPanels();\r
}\r
});\r
+\r
+ hscroll.setFocusable(false);\r
+ vscroll.setFocusable(false);\r
+ setFocusable(true);\r
+\r
+ addKeyListener(new KeyAdapter()\r
+ {\r
+ public void keyPressed(KeyEvent evt)\r
+ {\r
+ if(evt.getKeyCode()==27)\r
+ {\r
+ av.setRubberbandGroup(null);\r
+ RefreshPanels();\r
+ }\r
+ }\r
+ });\r
+\r
+\r
}\r
\r
public void highlightSearchResults(int [] results)\r
\r
public void RefreshPanels()\r
{\r
-\r
+ requestFocus();\r
invalidate();\r
seqPanel.seqCanvas.paintFlag = true;\r
idPanel.idCanvas.paintFlag = true;\r
\r
validate();\r
repaint();\r
+\r
}\r
\r
int hextent = 0;\r