No need to re repaint
authoramwaterhouse <Andrew Waterhouse>
Wed, 9 Aug 2006 15:54:58 +0000 (15:54 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 9 Aug 2006 15:54:58 +0000 (15:54 +0000)
src/jalview/appletgui/OverviewPanel.java

index 366f5bc..4d3dec4 100755 (executable)
@@ -139,7 +139,6 @@ public class OverviewPanel
     boxX = evt.getX();\r
     boxY = evt.getY();\r
     checkValid();\r
-    ap.repaint();\r
   }\r
 \r
   void checkValid()\r
@@ -189,7 +188,7 @@ public class OverviewPanel
     }\r
 \r
     ap.setScrollValues( col, row );\r
-\r
+    ap.repaint();\r
   }\r
 \r
   /**\r