JAL-3253-applet JAL-3383

[jalview.git] / src / jalview / gui / OverviewPanel.java

diff --git a/src/jalview/gui/OverviewPanel.java b/src/jalview/gui/OverviewPanel.java
index 8f24185..cc647a8 100755 (executable)
--- a/src/jalview/gui/OverviewPanel.java
+++ b/src/jalview/gui/OverviewPanel.java
@@ -130,6 +130,7 @@ public class OverviewPanel extends JPanel
         if (getWidth() == od.getWidth()
                 && getHeight() == od.getHeight() + ph)
         {
+          // BH: resizing is now exceptionally fast.
           updateOverviewImage();
         }
         else
@@ -144,7 +145,8 @@ public class OverviewPanel extends JPanel
             }
             od.setWidth(w);
             od.setHeight(h - ph);
-            repaint();
+            updateOverviewImage();
+            // repaint();
           }
           // BH 2019.07.29 this is unnecessary -- it is what layout managers are
           // for:
@@ -258,14 +260,14 @@ public class OverviewPanel extends JPanel
 
     });
 
-    /*
-     * Javascript does not call componentResized on initial display,
-     * so do the update here
-     */
-    if (Platform.isJS())
-    {
-      updateOverviewImage();
-    }
+    // /*
+    // * Javascript does not call componentResized on initial display,
+    // * so do the update here
+    // */
+    // if (Platform.isJS())
+    // {
+    // updateOverviewImage();
+    // }
   }
 
   /**
@@ -326,7 +328,20 @@ public class OverviewPanel extends JPanel
   }
 
   /**
-   * Updates the overview image when the related alignment panel is updated
+   * Updates the overview image when the related alignment panel is updated.
+   * 
+   * Cases:
+   * 
+   * AlignFrame.setFeatureGroupState
+   * 
+   * AlignmentPanel.paintAlignment(true,...) (117 references)
+   * 
+   * OverviewPanel..componentResized() OverviewPanel.toggleHiddenColumns()
+   * 
+   * PopupMenu for action.reveal_sequences, action.reveal_all
+   * 
+   * SliderPanel.mouseReleased()
+   * 
    */
   public void updateOverviewImage()
   {
@@ -363,11 +378,11 @@ public class OverviewPanel extends JPanel
   {
     if (canvas != null)
     {
+      setBoxPosition();
       canvas.draw(av.isShowSequenceFeatures(),
               (av.isShowAnnotation()
                       && av.getAlignmentConservationAnnotation() != null),
               ap.getFeatureRenderer());
-      setBoxPosition();
     }
   }