From 5b56435b39190f063c5fbf8b1b2d01ecc73f74a7 Mon Sep 17 00:00:00 2001 From: kiramt Date: Thu, 25 Jan 2018 13:49:36 +0000 Subject: [PATCH] JAL-2778 Reinstate id width adjuster --- src/jalview/gui/AlignmentPanel.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index ab6a781..8801506 100644 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -874,10 +874,14 @@ public class AlignmentPanel extends GAlignmentPanel implements @Override public void paintComponent(Graphics g) { + invalidate(); // needed so that the id width adjuster works correctly + Dimension d = getIdPanel().getIdCanvas().getPreferredSize(); idPanelHolder.setPreferredSize(d); hscrollFillerPanel.setPreferredSize(new Dimension(d.width, 12)); + validate(); // needed so that the id width adjuster works correctly + /* * set scroll bar positions - tried to remove but necessary for split panel to resize correctly * though I still think this call should be elsewhere. -- 1.7.10.2