From 6636e89537d7f51f4a71e616d3bb0f612097d050 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Wed, 31 Aug 2005 16:54:30 +0000
Subject: [PATCH] Repaint scale panel after unselect all

---
 src/jalview/appletgui/AlignFrame.java |    1 +
 1 file changed, 1 insertion(+)

diff --git a/src/jalview/appletgui/AlignFrame.java b/src/jalview/appletgui/AlignFrame.java
index bed10a1..56efb03 100755
--- a/src/jalview/appletgui/AlignFrame.java
+++ b/src/jalview/appletgui/AlignFrame.java
@@ -522,6 +522,7 @@ public class AlignFrame
     viewport.setSelectionGroup(null);
     viewport.getColumnSelection().clear();
     viewport.setSelectionGroup(null);
+    alignPanel.repaint();
     PaintRefresher.Refresh(null, viewport.alignment);
   }
 
-- 
1.7.10.2