From: kiramt <k.mourao@dundee.ac.uk>
Date: Thu, 25 Jan 2018 13:49:36 +0000 (+0000)
Subject: JAL-2778 Reinstate id width adjuster
X-Git-Tag: Release_2_10_4~67^2~9
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=5b56435b39190f063c5fbf8b1b2d01ecc73f74a7;p=jalview.git

JAL-2778 Reinstate id width adjuster
---

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.