From 11086c8035ac6af140d3801305b6e3edbe2dc86d Mon Sep 17 00:00:00 2001 From: Jim Procter Date: Wed, 6 Sep 2017 22:03:40 +0100 Subject: [PATCH] =?utf8?q?JAL-2587=20makes=20sure=20idWidthAdjuster=20is=20r?= =?utf8?q?esized=20when=20container=20panel=E2=80=99s=20preference=20changes?= 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 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(); -- 1.7.10.2