+
+ /*
+ * don't drag right if mouse is to the left of the region
+ */
+ if (dif > 0 && mouseX < 0)
+ {
+ 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);
+ }
+
+ public void setWidth(int newWidth)
+ {
+ if (newWidth < MIN_ID_WIDTH
+ || ap.getIdPanel().getIdCanvas().isManuallyAdjusted())
+ {
+ return;
+ }
+ final AlignViewportI viewport = ap.getAlignViewport();
+ viewport.setIdWidth(newWidth);
+ ap.paintAlignment(true, false);
+ }
+
+ public boolean manuallyAdjusted()
+ {
+ return ap.getIdPanel().getIdCanvas().isManuallyAdjusted();