X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdCanvas.java;h=0731bf3fa1cbe219d4420126228f7acc4d1cfbb4;hb=74d5ca6390288f6cd6cb445cccc728802806a29a;hp=e5a594695c7637c79b9399b94cce76525c4ee73a;hpb=653901be5f271505cfb10eb449fa13bed899a94e;p=jalview.git

diff --git a/src/jalview/gui/IdCanvas.java b/src/jalview/gui/IdCanvas.java
index e5a5946..0731bf3 100755
--- a/src/jalview/gui/IdCanvas.java
+++ b/src/jalview/gui/IdCanvas.java
@@ -59,7 +59,7 @@ public class IdCanvas extends JPanel implements ViewportListenerI
 
   int imgHeight = 0;
 
-  boolean fastPaint = false;
+  private boolean fastPaint = false;
 
   List<SequenceI> searchResults;
 
@@ -579,45 +579,35 @@ public class IdCanvas extends JPanel implements ViewportListenerI
   @Override
   public void propertyChange(PropertyChangeEvent evt)
   {
-    // BH just clarifying logic
     String propertyName = evt.getPropertyName();
-    switch (propertyName) {
+    switch (propertyName)
+    {
     case ViewportRanges.STARTSEQ:
       fastPaint((int) evt.getNewValue() - (int) evt.getOldValue());
-      return;
+      break;
     case ViewportRanges.STARTRES:
       if (av.getWrapAlignment())
       {
         fastPaint((int) evt.getNewValue() - (int) evt.getOldValue());
       }
-      return;
+      break;
     case ViewportRanges.STARTRESANDSEQ:
       fastPaint(((int[]) evt.getNewValue())[1]
               - ((int[]) evt.getOldValue())[1]);
-      return;
+      break;
     case ViewportRanges.MOVE_VIEWPORT:
       repaint();
-      return;
-    case ViewportRanges.ENDRES:
-    case ViewportRanges.ENDSEQ:
-      // ignore ??
-      return;
+      break;
+    default:
     }
-// BH 2019.07.27 was:
-//    if (propertyName.equals(ViewportRanges.STARTSEQ)
-//            || (av.getWrapAlignment()
-//                    && propertyName.equals(ViewportRanges.STARTRES)))
-//    {
-//      fastPaint((int) evt.getNewValue() - (int) evt.getOldValue());
-//    }
-//    else if (propertyName.equals(ViewportRanges.STARTRESANDSEQ))
-//    {
-//      fastPaint(((int[]) evt.getNewValue())[1]
-//              - ((int[]) evt.getOldValue())[1]);
-//    }
-//    else if (propertyName.equals(ViewportRanges.MOVE_VIEWPORT))
-//    {
-//      repaint();
-    // }
+  }
+
+  /**
+   * Clears the flag that allows a 'fast paint' on the next repaint, so
+   * requiring a full repaint
+   */
+  public void setNoFastPaint()
+  {
+    fastPaint = false;
   }
 }