Repaint scale panel after unselect all
authoramwaterhouse <Andrew Waterhouse>
Wed, 31 Aug 2005 16:54:30 +0000 (16:54 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 31 Aug 2005 16:54:30 +0000 (16:54 +0000)
src/jalview/appletgui/AlignFrame.java

index bed10a1..56efb03 100755 (executable)
@@ -522,6 +522,7 @@ public class AlignFrame
     viewport.setSelectionGroup(null);\r
     viewport.getColumnSelection().clear();\r
     viewport.setSelectionGroup(null);\r
+    alignPanel.repaint();\r
     PaintRefresher.Refresh(null, viewport.alignment);\r
   }\r
 \r