Java ScrollBar.setPageIncrement方法代码示例

import org.eclipse.swt.widgets.ScrollBar; //导入方法依赖的package包/类
void resizeScrollBars() {
	// Set the max and thumb for the image canvas scroll bars.
	ScrollBar horizontal = imageCanvas.getHorizontalBar();
	ScrollBar vertical = imageCanvas.getVerticalBar();
	Rectangle canvasBounds = imageCanvas.getClientArea();
	int width = Math.round(imageData.width * xscale);
	if (width > canvasBounds.width) {
		// The image is wider than the canvas.
		horizontal.setEnabled(true);
		horizontal.setMaximum(width);
		horizontal.setThumb(canvasBounds.width);
		horizontal.setPageIncrement(canvasBounds.width);
	}
	else {
		// The canvas is wider than the image.
		horizontal.setEnabled(false);
		if (ix != 0) {
			// Make sure the image is completely visible.
			ix = 0;
			imageCanvas.redraw();
		}
	}
	int height = Math.round(imageData.height * yscale);
	if (height > canvasBounds.height) {
		// The image is taller than the canvas.
		vertical.setEnabled(true);
		vertical.setMaximum(height);
		vertical.setThumb(canvasBounds.height);
		vertical.setPageIncrement(canvasBounds.height);
	}
	else {
		// The canvas is taller than the image.
		vertical.setEnabled(false);
		if (iy != 0) {
			// Make sure the image is completely visible.
			iy = 0;
			imageCanvas.redraw();
		}
	}
}
 

import org.eclipse.swt.widgets.ScrollBar; //导入方法依赖的package包/类
/**
 * Move the scrollbar to reflect the current visible items position.
 * 
 * @param bar
 *            - the scroll bar to move
 * @param clientSize
 *            - Client (visible) area size
 * @param totalSize
 *            - Total Size
 */
private void updateScrollBarProperties(ScrollBar bar, int clientSize,
		int totalSize) {
	if (bar == null)
		return;

	bar.setMinimum(0);
	bar.setPageIncrement(clientSize);
	bar.setMaximum(totalSize);
	bar.setThumb(clientSize);

	// Let the group renderer use a custom increment value.
	if (groupRenderer != null)
		bar.setIncrement(groupRenderer.getScrollBarIncrement());

	if (totalSize > clientSize) {
		if (DEBUG)
			System.out.println("Enabling scrollbar"); //$NON-NLS-1$

		bar.setEnabled(true);
		bar.setVisible(true);
		bar.setSelection(translate);

		// Ensure that translate has a valid value.
		validateTranslation();
	} else {
		if (DEBUG)
			System.out.println("Disabling scrollbar"); //$NON-NLS-1$

		bar.setEnabled(false);
		bar.setVisible(false);
		bar.setSelection(0);
		translate = 0;
	}

}
 

import org.eclipse.swt.widgets.ScrollBar; //导入方法依赖的package包/类
private void setupScrollBar(ScrollBar sb, boolean visible, int ca, int b, int size) {
	if (sb == null)
		return;
	sb.setVisible(visible);
	if (!visible)
		sb.setSelection(0);
	else {
		sb.setPageIncrement(ca - sb.getIncrement());
		int max = b + size - ca;
		sb.setMaximum(max);
		sb.setThumb(size > max ? max : size);
	}
}
 

import org.eclipse.swt.widgets.ScrollBar; //导入方法依赖的package包/类
/**
	 * Setup the scrollbar based on the item counts specified. Note: This doesn't change the current selected position of the
	 * scrollbar.
	 * 
	 * @param scrollBar
	 *            the scrollbar to configure.
	 * @param viewportSize
	 *            how many columns or rows are currently visible in the
	 *            viewport.
	 * @param maximumSize
	 *            the maximum number of columns or rows.
	 * @param lastPageSize
	 *            the maximum number of columns or rows that currently fits onto
	 *            the last page of the viewport. For rows, this is at the bottom
	 *            of the grid, for columns this is over on the right).
	 */
	private void updateScrollbar(final ScrollBar scrollBar, final int viewportSize, final int maximumSize, final int lastPageSize, final int firstVisibleIndex, final int lastVisibleIndex, final boolean isLastCropped) {
		//
		// The scrollbar doesn't quite hold the total number of items. Because we want the last item to live at the bottom 
		// of the grid (for rows) or the right edge of the grid (for columns) rather than the top/left, we stop scrolling 
		// when the last item is in position. 
		//
		final int cappedMax = maximumSize - (lastPageSize - 1);
		
		//
		// The scrollbar is only required, if there are items beyond either of the viewport edged.
		//
		final boolean firstScrolledOff = (firstVisibleIndex > 0);               // The first row or column that's visible, ISN'T the first one, we need a scrollbar to be able to see it again.
		final boolean lastScrolledOff = ((lastVisibleIndex + 1) < maximumSize); // The last row or column that's visible, ISN'T the last one.
		final boolean visible = (firstScrolledOff || ((lastScrolledOff || (isLastCropped)) && (maximumSize > 1)));
		
		scrollBar.setMaximum(cappedMax);
		scrollBar.setThumb(1);
		scrollBar.setPageIncrement(Math.min(viewportSize, cappedMax));
		scrollBar.setIncrement(1);
		scrollBar.setVisible(visible);
		scrollBar.setEnabled(visible);
		
//		System.out.println(String.format("[%s:%s] -> Scroll page [%s] visible-rows [%s] maximum-model [%s] maximum-bar [%s] last-page [%s] last-vis-idx [%s] last-cropped [%s] firstScrolledOff [%s] lastScrolledOff [%s] visible [%s]", 
//			getData("org.eclipse.swtbot.widget.key"),
//			(scrollBar.getStyle() & SWT.VERTICAL) != 0 ? "VERTICAL" : "HORIZONTAL",  
//			scrollBar.getPageIncrement(),
//			viewportSize,
//			maximumSize,
//			scrollBar.getMaximum(),
//			lastPageSize,
//			lastVisibleIndex,
//			isLastCropped,
//			firstScrolledOff,
//			lastScrolledOff,
//			visible));
	}
 

import org.eclipse.swt.widgets.ScrollBar; //导入方法依赖的package包/类
/**
 * Move the scrollbar to reflect the current visible items position.
 */
private void updateScrollBarsPropertiesHorizontal() {

	final ScrollBar bar = getHorizontalBar();

	if (bar == null) {
		return;
	}

	final int areaWidth = _clientArea.width;
	final int contentWidth = _contentVirtualWidthScrollbar;

	bar.setMinimum(0);
	bar.setMaximum(contentWidth);
	bar.setPageIncrement(areaWidth);
	bar.setThumb(areaWidth);

	bar.setIncrement(16);

	if (contentWidth > areaWidth) {

		// show scrollbar

		bar.setEnabled(true);
		bar.setVisible(true);
		bar.setSelection(_galleryPosition);

		// Ensure that translate has a valid value.
		validateGalleryPosition();

	} else {

		// hide scrollbar

		bar.setEnabled(false);
		bar.setVisible(false);
		bar.setSelection(0);
		_galleryPosition = 0;
	}
}
 

import org.eclipse.swt.widgets.ScrollBar; //导入方法依赖的package包/类
/**
 * Move the scrollbar to reflect the current visible items position.
 */
private void updateScrollBarsPropertiesVertical() {

	final ScrollBar bar = getVerticalBar();
	if (bar == null) {
		return;
	}

	final int clientAreaSize = _clientArea.height;
	final int contentSize = _contentVirtualHeight;

	bar.setMinimum(0);
	bar.setMaximum(contentSize);
	bar.setPageIncrement(clientAreaSize);
	bar.setThumb(clientAreaSize);

	bar.setIncrement(16);

	if (contentSize > clientAreaSize) {

		// show scrollbar

		bar.setEnabled(true);
		bar.setVisible(true);
		bar.setSelection(_galleryPosition);

		// Ensure that translate has a valid value.
		validateGalleryPosition();

	} else {

		// hide scrollbar

		bar.setEnabled(false);
		bar.setVisible(false);
		bar.setSelection(0);
		_galleryPosition = 0;
	}
}
 

import org.eclipse.swt.widgets.ScrollBar; //导入方法依赖的package包/类
private void adaptIncrements(final ScrollBar scrollBar, final int scrollSpeedFactor) {
    if (scrollBar != null) {
        final int thumbSize = scrollBar.getThumb();
        scrollBar.setIncrement(Math.max(1, thumbSize / scrollSpeedFactor));
        scrollBar.setPageIncrement(thumbSize);
    }
}
 

import org.eclipse.swt.widgets.ScrollBar; //导入方法依赖的package包/类
/**
 * Calculates the extends and visibility of horizontal and vertical
 * scroll bars.
 */
void recalcScrollBars() {
	ScrollBar hScrollBar = getHorizontalBar();
	ScrollBar vScrollBar = getVerticalBar();
	
	// If either horizontal or vertical scrolling is enabled
	if ((hScrollBar != null) || (vScrollBar != null)) {
		// Compute default size of control
		Point size = computeSize(SWT.DEFAULT, SWT.DEFAULT);
		// Get the visible client area
		Rectangle clientArea = getClientArea();

		if (hScrollBar != null) {
			// Show horizontal scroll bar if content does not fit horizontally
			hScrollBar.setVisible(size.x > clientArea.width);
			
			// Set the maximum horizontal scroll to be the default width of 
			// control minus what will show in the client area. 
			hScrollBar.setMaximum(size.x);
			hScrollBar.setThumb(clientArea.width);
			hScrollBar.setPageIncrement(clientArea.width);
		}
		if (vScrollBar != null) {
			// Show vertical scroll bar if content does not fit vertically
			vScrollBar.setVisible(size.y > clientArea.height);
			// Set the maximum vertical scroll to be the default height of 
			// control minus what will show in the client area. 
			vScrollBar.setMaximum(size.y);
			vScrollBar.setIncrement(verticalScrollIncrement);
			vScrollBar.setThumb(clientArea.height);
			vScrollBar.setPageIncrement(clientArea.height);
		}
	}
}
 

import org.eclipse.swt.widgets.ScrollBar; //导入方法依赖的package包/类
/**
 * Updates the page scroll increment for given composite.
 * 
 * @param scomp
 */
public static void updatePageIncrement( ScrolledComposite scomp )
{
	ScrollBar vbar = scomp.getVerticalBar( );
	if ( vbar != null )
	{
		Rectangle clientArea = scomp.getClientArea( );
		int increment = clientArea.height - 5;
		vbar.setPageIncrement( increment );
	}
}
 

import org.eclipse.swt.widgets.ScrollBar; //导入方法依赖的package包/类
/**
 * Synchronize the scrollbar with the image. If the transform is out
 * of range, it will correct it. This function considers only following
 * factors :<b> transform, image size, client area</b>.
 */
public void syncScrollBars() {
	if (sourceImage == null) {
		redraw();
		return;
	}

	AffineTransform af = transform;
	double sx = af.getScaleX(), sy = af.getScaleY();
	double tx = af.getTranslateX(), ty = af.getTranslateY();
	if (tx > 0) tx = 0;
	if (ty > 0) ty = 0;

	ScrollBar horizontal = getHorizontalBar();
	horizontal.setIncrement(getClientArea().width / 100);
	horizontal.setPageIncrement(getClientArea().width);
	Rectangle imageBound = sourceImage.getBounds();
	int cw = getClientArea().width, ch = getClientArea().height;
	if (imageBound.width * sx > cw) { /* image is wider than client area */
		horizontal.setMaximum((int) (imageBound.width * sx));
		horizontal.setEnabled(true);
		if (((int) - tx) > horizontal.getMaximum() - cw)
			tx = -horizontal.getMaximum() + cw;
	} else { /* image is narrower than client area */
		horizontal.setEnabled(false);
		tx = (cw - imageBound.width * sx) / 2; //center if too small.
	}
	horizontal.setSelection((int) (-tx));
	horizontal.setThumb((getClientArea().width));

	ScrollBar vertical = getVerticalBar();
	vertical.setIncrement(getClientArea().height / 100);
	vertical.setPageIncrement((getClientArea().height));
	if (imageBound.height * sy > ch) { /* image is higher than client area */
		vertical.setMaximum((int) (imageBound.height * sy));
		vertical.setEnabled(true);
		if (((int) - ty) > vertical.getMaximum() - ch)
			ty = -vertical.getMaximum() + ch;
	} else { /* image is less higher than client area */
		vertical.setEnabled(false);
		ty = (ch - imageBound.height * sy) / 2; //center if too small.
	}
	vertical.setSelection((int) (-ty));
	vertical.setThumb((getClientArea().height));

	/* update transform. */
	af = AffineTransform.getScaleInstance(sx, sy);
	af.preConcatenate(AffineTransform.getTranslateInstance(tx, ty));
	transform = af;

	redraw();
}
 

import org.eclipse.swt.widgets.ScrollBar; //导入方法依赖的package包/类
/**
 * SYNC the scroll-bars with the image.
 */
public void syncScrollBars( )
{
	if ( sourceImage == null )
	{
		redraw( );
		return;
	}

	AffineTransform af = transform;
	double sx = af.getScaleX( ), sy = af.getScaleY( );
	double tx = af.getTranslateX( ), ty = af.getTranslateY( );
	if ( tx > 0 )
		tx = 0;
	if ( ty > 0 )
		ty = 0;

	Rectangle imageBound = sourceImage.getBounds( );
	int cw = getClientArea( ).width, ch = getClientArea( ).height;

	ScrollBar horizontal = getHorizontalBar( );

	if ( horizontal != null )
	{
		horizontal.setIncrement( ( getClientArea( ).width / 100 ) );
		horizontal.setPageIncrement( getClientArea( ).width );

		if ( imageBound.width * sx > cw )
		{
			horizontal.setMaximum( (int) ( imageBound.width * sx ) );
			horizontal.setEnabled( true );
			if ( ( (int) -tx ) > horizontal.getMaximum( ) - cw )
				tx = -horizontal.getMaximum( ) + cw;
		}
		else
		{
			horizontal.setEnabled( false );
			tx = ( cw - imageBound.width * sx ) / 2;
		}
		horizontal.setSelection( (int) ( -tx ) );
		horizontal.setThumb( ( getClientArea( ).width ) );
	}
	ScrollBar vertical = getVerticalBar( );
	if ( vertical != null )
	{
		vertical.setIncrement( ( getClientArea( ).height / 100 ) );
		vertical.setPageIncrement( ( getClientArea( ).height ) );
		if ( imageBound.height * sy > ch )
		{
			vertical.setMaximum( (int) ( imageBound.height * sy ) );
			vertical.setEnabled( true );
			if ( ( (int) -ty ) > vertical.getMaximum( ) - ch )
				ty = -vertical.getMaximum( ) + ch;
		}
		else
		{
			vertical.setEnabled( false );
			ty = ( ch - imageBound.height * sy ) / 2;
		}
		vertical.setSelection( (int) ( -ty ) );
		vertical.setThumb( ( getClientArea( ).height ) );
	}

	af = AffineTransform.getScaleInstance( sx, sy );
	af.preConcatenate( AffineTransform.getTranslateInstance( tx, ty ) );
	transform = af;

	redraw( );
}
 

import org.eclipse.swt.widgets.ScrollBar; //导入方法依赖的package包/类
/**
 * SYNC the scroll-bars with the image.
 */
public void syncScrollBars( )
{
	if ( sourceImage == null )
	{
		redraw( );
		return;
	}

	AffineTransform af = transform;
	double sx = af.getScaleX( ), sy = af.getScaleY( );
	double tx = af.getTranslateX( ), ty = af.getTranslateY( );
	if ( tx > 0 )
		tx = 0;
	if ( ty > 0 )
		ty = 0;

	Rectangle imageBound = sourceImage.getBounds( );
	int cw = getClientArea( ).width, ch = getClientArea( ).height;

	ScrollBar horizontal = getHorizontalBar( );

	if ( horizontal != null )
	{
		horizontal.setIncrement( (int) ( getClientArea( ).width / 100 ) );
		horizontal.setPageIncrement( getClientArea( ).width );

		if ( imageBound.width * sx > cw )
		{
			horizontal.setMaximum( (int) ( imageBound.width * sx ) );
			horizontal.setEnabled( true );
			if ( ( (int) -tx ) > horizontal.getMaximum( ) - cw )
				tx = -horizontal.getMaximum( ) + cw;
		}
		else
		{
			horizontal.setEnabled( false );
			tx = ( cw - imageBound.width * sx ) / 2;
		}
		horizontal.setSelection( (int) ( -tx ) );
		horizontal.setThumb( (int) ( getClientArea( ).width ) );
	}
	ScrollBar vertical = getVerticalBar( );
	if ( vertical != null )
	{
		vertical.setIncrement( (int) ( getClientArea( ).height / 100 ) );
		vertical.setPageIncrement( (int) ( getClientArea( ).height ) );
		if ( imageBound.height * sy > ch )
		{
			vertical.setMaximum( (int) ( imageBound.height * sy ) );
			vertical.setEnabled( true );
			if ( ( (int) -ty ) > vertical.getMaximum( ) - ch )
				ty = -vertical.getMaximum( ) + ch;
		}
		else
		{
			vertical.setEnabled( false );
			ty = ( ch - imageBound.height * sy ) / 2;
		}
		vertical.setSelection( (int) ( -ty ) );
		vertical.setThumb( (int) ( getClientArea( ).height ) );
	}

	af = AffineTransform.getScaleInstance( sx, sy );
	af.preConcatenate( AffineTransform.getTranslateInstance( tx, ty ) );
	transform = af;

	redraw( );
}
 

import org.eclipse.swt.widgets.ScrollBar; //导入方法依赖的package包/类
private void scrollBar_updateScrollbar() {

		_scrollBar_OutsideWeeks = 0;

		final long scrollStartEpochDay = scrollBar_getStartOfTours().toEpochDay();
		final long scrollEndEpochDay = scrollBar_getEndOfTours().toEpochDay();

		final int tourWeeks = (int) ((scrollEndEpochDay - scrollStartEpochDay) / 7);

		// ensure max contains all visible weeks in the viewport
		int scrollbarMax = Math.max(_numWeeksInOneColumn, tourWeeks) + 2;

		// ensure the thumb isn't getting to small
		final int thumbSize = Math.max(_numWeeksInOneColumn, scrollbarMax / 20);

		final long firstViewportDay = _firstVisibleDay.toLocalDate().toEpochDay();
		int scrollbarSelection;

		if (firstViewportDay < scrollStartEpochDay) {

			// shift negative

			_scrollBar_OutsideWeeks = (int) ((firstViewportDay - scrollStartEpochDay) / 7);
			scrollbarSelection = 1;//1;

		} else if (firstViewportDay > scrollEndEpochDay) {

			// shift positive

			_scrollBar_OutsideWeeks = (int) ((firstViewportDay - scrollEndEpochDay) / 7);
			scrollbarSelection = scrollbarMax - 1;

		} else {

			scrollbarSelection = (int) ((firstViewportDay - scrollStartEpochDay) / 7);
		}

		// scrollbars and thums are complicated !!!
		scrollbarMax += thumbSize;

		// update scrollbar
		_isInUpdateScrollbar = true;
		final ScrollBar scrollbar = _parent.getVerticalBar();

		scrollbar.setThumb(thumbSize);
		scrollbar.setPageIncrement(thumbSize);

		scrollbar.setMinimum(0);
		scrollbar.setMaximum(scrollbarMax);

		scrollbar.setSelection(scrollbarSelection);

		_scrollBar_LastSelection = scrollbarSelection;
	}