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 387d3dd..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:
@@ -330,6 +332,15 @@ public class OverviewPanel extends JPanel
    * 
    * 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()
@@ -367,11 +378,11 @@ public class OverviewPanel extends JPanel
   {
     if (canvas != null)
     {
+      setBoxPosition();
       canvas.draw(av.isShowSequenceFeatures(),
               (av.isShowAnnotation()
                       && av.getAlignmentConservationAnnotation() != null),
               ap.getFeatureRenderer());
-      setBoxPosition();
     }
   }