From: James Procter Date: Wed, 1 Nov 2023 16:40:55 +0000 (+0000) Subject: Merge branch 'patch/JAL-4260_fix_up_select_via_ruler_in_wrapped' into develop X-Git-Tag: Release_2_11_3_0~3^2~27 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=4ea2f7c6e700c5137c62a09a93d0127f8d58158b;hp=85415d08c787f2515af87cc9bd8b3ae9ddd19473;p=jalview.git Merge branch 'patch/JAL-4260_fix_up_select_via_ruler_in_wrapped' into develop --- 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(); } diff --git a/src/jalview/gui/AnnotationLabels.java b/src/jalview/gui/AnnotationLabels.java index a3f7e00..08a25ba 100755 --- a/src/jalview/gui/AnnotationLabels.java +++ b/src/jalview/gui/AnnotationLabels.java @@ -1246,7 +1246,7 @@ public class AnnotationLabels extends JPanel else { int newAnnotationIdWidth = drawLabels(g, clip, width, false, forGUI, null, false); - width = Math.max(newAnnotationIdWidth, givenWidth); + width = newAnnotationIdWidth-1 && selectedRow