JEditTextArea.java 文件源码

@Override
public void mouseWheelMoved(MouseWheelEvent mouseWheelEvent) {
    if (mouseWheelEvent.getScrollAmount() == 0) {
        return;
    }
    vertical.setValue(vertical.getValue() + 3 * mouseWheelEvent.getWheelRotation());
}