From 77f0b8285c6711ad803832553f28b03ea8366efb Mon Sep 17 00:00:00 2001 From: Ben Soares Date: Wed, 9 Aug 2023 13:07:43 +0100 Subject: [PATCH] JAL-244 Fix window size narrow adjustment not becoming a manual adjustment clash --- 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 9f8aac6..0442c8b 100644 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -898,6 +898,9 @@ public class AlignmentPanel extends GAlignmentPanel implements // need to make some adjustments idWidth -= (sc.getMinimumWrappedCanvasWidth() - sc.getWidth()); av.setIdWidth(idWidth); + av.getAlignPanel().getIdPanel().getIdCanvas() + .setManuallyAdjusted(true); + validateAnnotationDimensions(false); } } -- 1.7.10.2