X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdwidthAdjuster.java;h=029f18463fa2839d5edc82900deecc8776724787;hb=5640ec0623c6d1205e62f9fe15292f32bfdab7d9;hp=f1c4c832aae6f61d89188184564cb2acc8401ef6;hpb=50fbfb08041ca4ac18e92b82e44446fa72a1f311;p=jalview.git diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java index f1c4c83..029f184 100755 --- a/src/jalview/gui/IdwidthAdjuster.java +++ b/src/jalview/gui/IdwidthAdjuster.java @@ -132,7 +132,7 @@ public class IdwidthAdjuster extends JPanel /* * don't drag below minimum width */ - if (newWidth < MIN_ID_WIDTH) + if (newWidth < MIN_ID_WIDTH || newWidth > this.ap.getWidth()) { return; } @@ -158,11 +158,11 @@ public class IdwidthAdjuster extends JPanel { return; } - + // TODO JAL-4260 - work out how to trigger recomputation of wrapped pages ! int curCol = viewport.getRanges().getStartRes() + viewport.getRanges().getViewportWidth(); - + viewport.setIdWidth(newWidth); ap.validateAnnotationDimensions(false); @@ -172,7 +172,7 @@ public class IdwidthAdjuster extends JPanel curCol - viewport.getRanges().getViewportWidth()); } ap.paintAlignment(true, false); - + ap.getIdPanel().getIdCanvas().setManuallyAdjusted(true); }