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