JAL-2587 makes sure idWidthAdjuster is resized when container panel’s preference...
authorJim Procter <jprocter@issues.jalview.org>
Wed, 6 Sep 2017 21:03:40 +0000 (22:03 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Wed, 6 Sep 2017 21:05:38 +0000 (22:05 +0100)
src/jalview/gui/AlignmentPanel.java

index ab57b0f..7e2a2f6 100644 (file)
@@ -231,7 +231,7 @@ public class AlignmentPanel extends GAlignmentPanel implements
             new Dimension(10, av.getCharHeight() + fm.getDescent()));
     idSpaceFillerPanel1.setPreferredSize(
             new Dimension(10, av.getCharHeight() + fm.getDescent()));
-
+    idwidthAdjuster.invalidate();
     getIdPanel().getIdCanvas().gg = null;
     getSeqPanel().seqCanvas.img = null;
     getAnnotationPanel().adjustPanelHeight();