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)
commitecb5ebdc2d8d549eeb63214bff868a8968fde50d
tree3f599b2bf66bf743fffb8bb6a734732d6112c67c
parent6ab8366d05c5e884329e746b5df1fa169661ec4b
clear selection with escape key
src/jalview/gui/AlignmentPanel.java