*/
    public int getScrollTimeout() {
        return scrollTimeout;
    }

    /**
     * Sets the scroll timeout.
     * @param scrollTimeout The scroll timeout.
     */
    public void setScrollTimeout(final int scrollTimeout) {
        this.scrollTimeout = scrollTimeout;
    }

    /**
     * Gets the scroll size for search operations.
     *
     * @return The scroll size.
     */