GridKeyboardHandler.java 文件源码

private void pageDown() {
    //
    // Ensure there's an anchor.
    //
    ensureAnchorSet();

    //
    // Move the scrollbar down one page.
    //
    final ScrollBar verticalBar = grid.getVerticalBar();
    verticalBar.setSelection(Math.min(verticalBar.getSelection() + verticalBar.getPageIncrement(), verticalBar.getMaximum()));

    //
    // Cause a repaint.
    //
    gridModel.fireChangeEvent();

    //
    // Move the anchor to the new page.
    //
    if (verticalBar.getSelection() != verticalBar.getMaximum()) {
        final Row<T> row = gridModel.getRows().get(grid.getViewport().getFirstRowIndex());
        gridModel.getSelectionModel().setAnchorElement(row.getElement());
    }
}