/*
* 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);
}
public void setWidth(int newWidth)
{
if (newWidth < MIN_ID_WIDTH
- || ap.getIdPanel().getIdCanvas().manuallyAdjusted())
+ || ap.getIdPanel().getIdCanvas().isManuallyAdjusted())
{
return;
}
public boolean manuallyAdjusted()
{
- return ap.getIdPanel().getIdCanvas().manuallyAdjusted();
+ return ap.getIdPanel().getIdCanvas().isManuallyAdjusted();
}
@Override