From: Ben Soares Date: Wed, 9 Aug 2023 12:07:43 +0000 (+0100) Subject: JAL-244 Fix window size narrow adjustment not becoming a manual adjustment clash X-Git-Tag: Release_2_11_4_0~216^2 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=77f0b8285c6711ad803832553f28b03ea8366efb;p=jalview.git JAL-244 Fix window size narrow adjustment not becoming a manual adjustment clash --- 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); } }