// TODO JAL-4260 - work out how to trigger recomputation of wrapped pages !
int curCol = viewport.getRanges().getStartRes()
+ viewport.getRanges().getViewportWidth();
// TODO JAL-4260 - work out how to trigger recomputation of wrapped pages !
int curCol = viewport.getRanges().getStartRes()
+ viewport.getRanges().getViewportWidth();
curCol - viewport.getRanges().getViewportWidth());
}
ap.paintAlignment(true, 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().setManuallyAdjusted(true);
}
public void setWidth(int newWidth)
{
if (newWidth < MIN_ID_WIDTH