From 5d9994e09150d0a3e6c49cef59a5a9c242b16290 Mon Sep 17 00:00:00 2001
From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Thu, 7 Sep 2017 11:06:34 +0100
Subject: [PATCH] JAL-2511 invalidate scale panel holder on font change to
 update layout

---
 src/jalview/gui/AlignmentPanel.java |    1 +
 1 file changed, 1 insertion(+)

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index 7e2a2f6..76368ed 100644
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -232,6 +232,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();
-- 
1.7.10.2