X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FOverviewPanel.java;h=cc647a87b931cf0865601972b3e755dbef6a63dc;hb=4435c731351c802772dd1355fdb5747cfacd7838;hp=8f24185a388b42b01a8e7f9212a00cf0000297f2;hpb=a435a8668f8df568d3bdcf4e286210b69c18920c;p=jalview.git diff --git a/src/jalview/gui/OverviewPanel.java b/src/jalview/gui/OverviewPanel.java index 8f24185..cc647a8 100755 --- 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(); } }