JaretTable.java 文件源码

/**
 * Update the vertical scrollbar if present.
 */
public void updateYScrollBar() {
    if (Display.getCurrent() != null) {
        Display.getCurrent().syncExec(new Runnable() {
            public void run() {
                ScrollBar scroll = getVerticalBar();
                // scroll may be null
                if (scroll != null) {
                    _oldVerticalScroll = -1; // guarantee a clean repaint
                    scroll.setMinimum(0);
                    scroll.setMaximum(getTotalHeight() - getFixedRowsHeight());
                    int height = getHeight();
                    if (_tableRect != null) {
                        height = _tableRect.height;
                    }
                    scroll.setThumb(height); // - getFixedRowsHeight() - getHeaderHeight());
                    scroll.setIncrement(50); // increment for arrows
                    scroll.setPageIncrement(getHeight()); // page increment areas
                    scroll.setSelection(getAbsBeginYForRowIdx(_firstRowIdx) + _firstRowPixelOffset
                            + getFixedRowsHeight());
                }
            }
        });
    }
}