git://source.jalview.org / jalview.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: a0f77bf)
JAL-2511 invalidate scale panel holder on font change to update layout bug/JAL-2511idAlignment
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Thu, 7 Sep 2017 10:06:34 +0000 (11:06 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Thu, 7 Sep 2017 10:06:34 +0000 (11:06 +0100)
src/jalview/gui/AlignmentPanel.java patch | blob | history

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index 7e2a2f6..76368ed 100644 (file)
--- 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();