/*
* don't drag below minimum width
*/
- if (newWidth < MIN_ID_WIDTH)
+ if (newWidth < MIN_ID_WIDTH || newWidth > this.ap.getWidth())
{
return;
}
{
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);
curCol - viewport.getRanges().getViewportWidth());
}
ap.paintAlignment(true, false);
-
+
ap.getIdPanel().getIdCanvas().setManuallyAdjusted(true);
}