From ecb5ebdc2d8d549eeb63214bff868a8968fde50d Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Wed, 9 Mar 2005 18:37:50 +0000 Subject: [PATCH] clear selection with escape key --- src/jalview/gui/AlignmentPanel.java | 1 + 1 file changed, 1 insertion(+) diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index d4788f2..a5b50b4 100755 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -67,6 +67,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene { case 27: // escape key av.setRubberbandGroup(null); + av.getSelection().clear(); RefreshPanels(); break; case KeyEvent.VK_X: -- 1.7.10.2