From 7c4dfd618f378d454211586915970f1f614e4dcf Mon Sep 17 00:00:00 2001 From: gmungoc Date: Mon, 21 Sep 2015 16:09:55 +0100 Subject: [PATCH] JAL-1799 update height of annotation labels to match annotations --- src/jalview/gui/AlignmentPanel.java | 3 +++ 1 file changed, 3 insertions(+) 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(); -- 1.7.10.2