JaretTable.java 文件源码

/**
 * Update the horiontal scrollbar.
 */
private void updateXScrollBar() {
    if (Display.getCurrent() != null) {
        Display.getCurrent().syncExec(new Runnable() {
            public void run() {
                ScrollBar scroll = getHorizontalBar();
                // scroll may be null
                if (scroll != null) {
                    _oldHorizontalScroll = -1; // make sure no optimization will be applied
                    scroll.setMinimum(0);
                    scroll.setMaximum(getTotalWidth() - getFixedColumnsWidth());
                    scroll.setThumb(getWidth() - getFixedColumnsWidth());
                    scroll.setIncrement(50); // increment for arrows
                    scroll.setPageIncrement(getWidth()); // page increment areas
                }
            }
        });
    }
}