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