From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Mon, 21 Sep 2015 15:09:55 +0000 (+0100)
Subject: JAL-1799 update height of annotation labels to match annotations
X-Git-Tag: Release_2_10_0~394^2~1
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=7c4dfd618f378d454211586915970f1f614e4dcf;p=jalview.git

JAL-1799 update height of annotation labels to match annotations
---

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index ec83a5d..2c7dd3e 100644
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -566,6 +566,9 @@ public class AlignmentPanel extends GAlignmentPanel implements
     annotationScroller.setPreferredSize(new Dimension(annotationScroller
             .getWidth(), annotationHeight));
 
+    Dimension e = idPanel.getSize();
+    alabels.setSize(new Dimension(e.width, annotationHeight));
+
     annotationSpaceFillerHolder.setPreferredSize(new Dimension(
             annotationSpaceFillerHolder.getWidth(), annotationHeight));
     annotationScroller.validate();