From: Jim Procter <jprocter@issues.jalview.org>
Date: Wed, 6 Sep 2017 21:03:40 +0000 (+0100)
Subject: JAL-2587 makes sure idWidthAdjuster is resized when container panel’s preference... 
X-Git-Tag: Release_2_10_2b1~2^2
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=11086c8035ac6af140d3801305b6e3edbe2dc86d;p=jalview.git

JAL-2587 makes sure idWidthAdjuster is resized when container panel’s preference changes
---

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index fe216c0..629767a 100644
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -229,7 +229,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();