clear selection with escape key
authoramwaterhouse <Andrew Waterhouse>
Wed, 9 Mar 2005 18:37:50 +0000 (18:37 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 9 Mar 2005 18:37:50 +0000 (18:37 +0000)
src/jalview/gui/AlignmentPanel.java

index d4788f2..a5b50b4 100755 (executable)
@@ -67,6 +67,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
        {\r
          case  27: // escape key\r
            av.setRubberbandGroup(null);\r
+           av.getSelection().clear();\r
            RefreshPanels();\r
            break;\r
          case KeyEvent.VK_X:\r