public void adjustmentValueChanged(AdjustmentEvent e) {
if (enabled) {
view.revalidate(); // NB this is required for Windows to actually call doLayout
view.repaint();
DocumentPanel docpanel = getDocumentPanel();
if (docpanel != null && !isSmoothScrolling()) {
docpanel.raiseDocumentPanelEvent(DocumentPanelEvent.createPagePositionChanged(docpanel));
}
}
}
