{
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);
+ if (viewport.getWrapAlignment())
+ {
+ viewport.getRanges().scrollToWrappedVisible(
+ curCol - viewport.getRanges().getViewportWidth());
+ }
ap.paintAlignment(true, false);
-
+
ap.getIdPanel().getIdCanvas().setManuallyAdjusted(true);
}