From 09ba3f282a312cf4d133205ef3e28b06e69dc431 Mon Sep 17 00:00:00 2001
From: James Procter <j.procter@dundee.ac.uk>
Date: Tue, 31 Oct 2023 12:00:38 +0000
Subject: [PATCH] JAL-244 knock on - make sure alignPanel is laid out properly
 after adjusting height. Probably a better

---
 src/jalview/gui/AlignFrame.java |    2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java
index ac8ffb9..aca8baa 100644
--- a/src/jalview/gui/AlignFrame.java
+++ b/src/jalview/gui/AlignFrame.java
@@ -5842,6 +5842,8 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener,
       }
     }
     alignPanel.validateAnnotationDimensions(true);
+    // TODO this triggers relayout of annotation panel - otherwise annotation label height is different to panel height
+    alignPanel.fontChanged();
     alignPanel.alignmentChanged();
   }
 
-- 
1.7.10.2