JEditTextArea.java 文件源码

@Override
public void adjustmentValueChanged(final AdjustmentEvent evt) {
    if (!scrollBarsInitialized) {
        return;
    }

    // If this is not done, mousePressed events accumilate
    // and the result is that scrolling doesn't stop after
    // the mouse is released
    SwingUtilities.invokeLater(new Runnable() {

        @Override
        public void run() {
            if (evt.getAdjustable() == vertical) {
                setFirstLine(vertical.getValue());
            } else {
                setHorizontalOffset(-horizontal.getValue());
            }
        }
    });
}