From: Ben Soares <b.soares@dundee.ac.uk>
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_3_0~8^2~47^2
X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=77f0b8285c6711ad803832553f28b03ea8366efb

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);
       }
     }