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)); } } }