From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Thu, 7 Sep 2017 10:06:34 +0000 (+0100)
Subject: JAL-2511 invalidate scale panel holder on font change to update layout
X-Git-Tag: Release_2_10_2b1^2~2
X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=30c10f4abd4d2fc1009d34e2464b5f7545a2f194

JAL-2511 invalidate scale panel holder on font change to update layout
---

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index 629767a..ba9fc11 100644
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -230,6 +230,7 @@ public class AlignmentPanel extends GAlignmentPanel implements
     idSpaceFillerPanel1.setPreferredSize(
             new Dimension(10, av.getCharHeight() + fm.getDescent()));
     idwidthAdjuster.invalidate();
+    scalePanelHolder.invalidate();
     getIdPanel().getIdCanvas().gg = null;
     getSeqPanel().seqCanvas.img = null;
     getAnnotationPanel().adjustPanelHeight();