add fastPaint boolean
authoramwaterhouse <Andrew Waterhouse>
Thu, 7 Apr 2005 10:40:52 +0000 (10:40 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 7 Apr 2005 10:40:52 +0000 (10:40 +0000)
src/jalview/gui/AlignmentPanel.java

index b3ad3ad..75729c3 100755 (executable)
@@ -27,6 +27,9 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
   AnnotationPanel annotationPanel;\r
   AnnotationLabels alabels;\r
 \r
+  // this value is set false when selection area being dragged\r
+  boolean fastPaint = true;\r
+\r
   public AlignmentPanel(AlignFrame af, final AlignViewport av)\r
   {\r
     alignFrame = af;\r
@@ -274,34 +277,40 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     {\r
       if(vscroll.getValue()<1)\r
         return false;\r
+      fastPaint  = false;\r
       vscroll.setValue(vscroll.getValue() - 1);\r
     }\r
     else\r
     {\r
      if(vextent+vscroll.getValue() >= av.getAlignment().getHeight())\r
        return false;\r
+      fastPaint  = false;\r
       vscroll.setValue(vscroll.getValue() + 1);\r
     }\r
+    fastPaint = true;\r
     return true;\r
   }\r
 \r
   public boolean scrollRight(boolean right)\r
   {\r
-    if(right)\r
-   {\r
-     if(hscroll.getValue()<1)\r
-       return false;\r
-     hscroll.setValue(hscroll.getValue() - 1);\r
-   }\r
-   else\r
-   {\r
-    if(hextent+hscroll.getValue() >= av.getAlignment().getWidth())\r
-      return false;\r
-     hscroll.setValue(hscroll.getValue() + 1);\r
-   }\r
 \r
-   return true;\r
- }\r
+    if (right)\r
+    {\r
+      if (hscroll.getValue() < 1)\r
+        return false;\r
+      fastPaint = false;\r
+      hscroll.setValue(hscroll.getValue() - 1);\r
+    }\r
+    else\r
+    {\r
+      if (hextent + hscroll.getValue() >= av.getAlignment().getWidth())\r
+        return false;\r
+      fastPaint = false;\r
+      hscroll.setValue(hscroll.getValue() + 1);\r
+    }\r
+    fastPaint = true;\r
+    return true;\r
+  }\r
 \r
 \r
   public void setScrollValues(int x, int y)\r
@@ -362,7 +371,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     if(overviewPanel!=null)\r
       overviewPanel.setBoxPosition();\r
 \r
-    if(av.getWrapAlignment())\r
+    if(av.getWrapAlignment() || !fastPaint)\r
       repaint();\r
     else\r
     {\r