From 032a68419354b6d486e97a1dbb8331d810567192 Mon Sep 17 00:00:00 2001 From: Jim Procter Date: Wed, 6 Sep 2017 22:03:40 +0100 Subject: [PATCH 1/1] =?utf8?q?JAL-2587=20makes=20sure=20idWidthAdjuster=20is?= =?utf8?q?=20resized=20when=20container=20panel=E2=80=99s=20preference=20cha?= =?utf8?q?nges?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- src/jalview/gui/AlignmentPanel.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index ab57b0f..7e2a2f6 100644 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -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(); -- 1.7.10.2