sbHorizontal.setPageIncrement( size_widget.width ); sbHorizontal.setIncrement( 10 ); sbVertical.setPageIncrement( size_widget.height ); sbVertical.setIncrement( 10 );
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); } ScrollBar hbar = scomp.getHorizontalBar(); if (hbar != null) { Rectangle clientArea = scomp.getClientArea(); int increment = clientArea.width - 5; hbar.setPageIncrement(increment); } }
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); } ScrollBar hbar = scomp.getHorizontalBar(); if (hbar != null) { Rectangle clientArea = scomp.getClientArea(); int increment = clientArea.width - 5; hbar.setPageIncrement(increment); } }
public void controlResized(ControlEvent e) { Rectangle clientArea = fScrolledComposite.getClientArea(); ScrollBar verticalBar= fScrolledComposite.getVerticalBar(); verticalBar.setIncrement(VERTICAL_SCROLL_INCREMENT); verticalBar.setPageIncrement(clientArea.height - verticalBar.getIncrement()); ScrollBar horizontalBar= fScrolledComposite.getHorizontalBar(); horizontalBar.setIncrement(HORIZONTAL_SCROLL_INCREMENT); horizontalBar.setPageIncrement(clientArea.width - horizontalBar.getIncrement()); } });
/** * Resizes the maximum and thumb of both scrollbars. */ void resizeScrollBars () { Rectangle clientArea = canvas.getClientArea(); ScrollBar bar = canvas.getHorizontalBar(); if (bar != null) { bar.setMaximum(maxX); bar.setThumb(clientArea.width); bar.setPageIncrement(clientArea.width); } bar = canvas.getVerticalBar(); if (bar != null) { bar.setMaximum(maxY); bar.setThumb(clientArea.height); bar.setPageIncrement(clientArea.height); } }
void updateHorizontalBar (int newRightX, int rightXchange) { if (drawCount > 0) return; ScrollBar hBar = getHorizontalBar (); if (hBar == null) return; newRightX += horizontalOffset; int barMaximum = hBar.getMaximum (); if (newRightX > barMaximum) { /* item has extended beyond previous maximum */ hBar.setMaximum (newRightX); int clientAreaWidth = clientArea.width; int thumb = Math.min (newRightX, clientAreaWidth); hBar.setThumb (thumb); hBar.setPageIncrement (thumb); hBar.setVisible (clientAreaWidth <= newRightX); return; } int previousRightX = newRightX - rightXchange; if (previousRightX != barMaximum) { /* this was not the rightmost item, so just check for client width change */ int clientAreaWidth = clientArea.width; int thumb = Math.min (barMaximum, clientAreaWidth); hBar.setThumb (thumb); hBar.setPageIncrement (thumb); hBar.setVisible (clientAreaWidth <= barMaximum); return; } updateHorizontalBar (); /* must search for the new rightmost item */ } void updateVerticalBar () {
/** */ private void updateVScrollBar() { if (Utilities.okToUse(fVScrollBar) && fSynchronizedScrolling) { int virtualHeight= fMerger.getVirtualHeight(); int viewPortHeight= getViewportHeight(); int pageIncrement= viewPortHeight-1; int thumb= (viewPortHeight > virtualHeight) ? virtualHeight : viewPortHeight; fVScrollBar.setPageIncrement(pageIncrement); fVScrollBar.setMaximum(virtualHeight); fVScrollBar.setThumb(thumb); } }
/** */ private void updateVScrollBar() { if (Utilities.okToUse(fVScrollBar) && fSynchronizedScrolling) { int virtualHeight= getVirtualHeight(); int viewPortHeight= getViewportHeight(); int pageIncrement= viewPortHeight-1; int thumb= (viewPortHeight > virtualHeight) ? virtualHeight : viewPortHeight; fVScrollBar.setPageIncrement(pageIncrement); fVScrollBar.setMaximum(virtualHeight); fVScrollBar.setThumb(thumb); } }
.getScrolledComposite().getClientArea(); int increment = clientArea.height - 5; verticalScrollBar.setPageIncrement(increment); .getScrolledComposite().getClientArea(); int increment = clientArea.width - 5; horizontalScrollBar.setPageIncrement(increment);
/** * Update the scrollbars * * @return true if we need to relayout the whole thing */ protected boolean updateScrollBars() { Point size = getScreenSize(); ScrollBar hBar = getHorizontalBar(), vBar = getVerticalBar(); boolean needRelayout = false; hBar.setMaximum(_drawnSize.x); hBar.setThumb(Math.min(_drawnSize.x, size.x)); hBar.setIncrement(15); // TODO something meaningful ? hBar.setPageIncrement(size.x); boolean visible = !(_origin.x == 0 && _drawnSize.x <= size.x); hBar.setVisible(visible); size = getScreenSize(); vBar.setMaximum(_drawnSize.y); vBar.setThumb(Math.min(_drawnSize.y, size.y)); vBar.setIncrement(15); // TODO line height here vBar.setPageIncrement(size.y); visible = !(_origin.y == 0 && _drawnSize.y <= size.y); if (!isPrint() && vBar.isVisible() != visible) { needRelayout = true; } vBar.setVisible(visible); return needRelayout; }
private void setupSC(ScrolledComposite sc) { if (sc == null) { return; } Composite c = (Composite) sc.getContent(); if (c != null) { Point size1 = c.computeSize(sc.getClientArea().width, SWT.DEFAULT); Point size = c.computeSize(SWT.DEFAULT, size1.y); sc.setMinSize(size); } ScrollBar verticalBar = sc.getVerticalBar(); if (verticalBar != null) { verticalBar.setPageIncrement(sc.getSize().y); } }
if (thumb != hBar.getThumb ()) { hBar.setThumb (thumb); hBar.setPageIncrement (thumb);
void setScrollBar(ScrollBar bar, int clientArea, int maximum, int margin) { int inactive = 1; if (clientArea < maximum) { bar.setMaximum(maximum - margin); bar.setThumb(clientArea - margin); bar.setPageIncrement(clientArea - margin); if (!alwaysShowScroll) bar.setVisible(true); } else if (bar.getThumb() != inactive || bar.getMaximum() != inactive) { bar.setValues(bar.getSelection(), bar.getMinimum(), inactive, inactive, bar.getIncrement(), inactive); } } /**
void setScrollBar(ScrollBar bar, int clientArea, int maximum, int margin) { int inactive = 1; if (clientArea < maximum) { bar.setMaximum(maximum - margin); bar.setThumb(clientArea - margin); bar.setPageIncrement(clientArea - margin); if (!alwaysShowScroll) bar.setVisible(true); } else if (bar.getThumb() != inactive || bar.getMaximum() != inactive) { bar.setValues(bar.getSelection(), bar.getMinimum(), inactive, inactive, bar.getIncrement(), inactive); } } /**
void setScrollBar(ScrollBar bar, int clientArea, int maximum, int margin) { int inactive = 1; if (clientArea < maximum) { bar.setMaximum(maximum - margin); bar.setThumb(clientArea - margin); bar.setPageIncrement(clientArea - margin); if (!alwaysShowScroll) bar.setVisible(true); } else if (bar.getThumb() != inactive || bar.getMaximum() != inactive) { bar.setValues(bar.getSelection(), bar.getMinimum(), inactive, inactive, bar.getIncrement(), inactive); } } /**
void setScrollBar(ScrollBar bar, int clientArea, int maximum, int margin) { int inactive = 1; if (clientArea < maximum) { bar.setMaximum(maximum - margin); bar.setThumb(clientArea - margin); bar.setPageIncrement(clientArea - margin); if (!alwaysShowScroll) bar.setVisible(true); } else if (bar.getThumb() != inactive || bar.getMaximum() != inactive) { bar.setValues(bar.getSelection(), bar.getMinimum(), inactive, inactive, bar.getIncrement(), inactive); } } /**
void setScrollBar(ScrollBar bar, int clientArea, int maximum, int margin) { int inactive = 1; if (clientArea < maximum) { bar.setMaximum(maximum - margin); bar.setThumb(clientArea - margin); bar.setPageIncrement(clientArea - margin); if (!alwaysShowScroll) bar.setVisible(true); } else if (bar.getThumb() != inactive || bar.getMaximum() != inactive) { bar.setValues(bar.getSelection(), bar.getMinimum(), inactive, inactive, bar.getIncrement(), inactive); } } /**
if (thumb != vBar.getThumb ()) { vBar.setThumb (thumb); vBar.setPageIncrement (thumb);
/** * @private */ void updateScrollbars() { Rectangle bounds= fImage != null ? fImage.getBounds() : new Rectangle(0, 0, 0, 0); Point size= getSize(); Rectangle clientArea= getClientArea(); ScrollBar horizontal= getHorizontalBar(); if (bounds.width <= clientArea.width) { horizontal.setVisible(false); horizontal.setSelection(0); } else { horizontal.setPageIncrement(clientArea.width - horizontal.getIncrement()); int max= bounds.width + (size.x - clientArea.width); horizontal.setMaximum(max); horizontal.setThumb(size.x > max ? max : size.x); horizontal.setVisible(true); } ScrollBar vertical= getVerticalBar(); if (bounds.height <= clientArea.height) { vertical.setVisible(false); vertical.setSelection(0); } else { vertical.setPageIncrement(clientArea.height - vertical.getIncrement()); int max= bounds.height + (size.y - clientArea.height); vertical.setMaximum(max); vertical.setThumb(size.y > max ? max : size.y); vertical.setVisible(true); } }
/** * @private */ void updateScrollbars() { Rectangle bounds= fImage != null ? fImage.getBounds() : new Rectangle(0, 0, 0, 0); Point size= getSize(); Rectangle clientArea= getClientArea(); ScrollBar horizontal= getHorizontalBar(); if (bounds.width <= clientArea.width) { horizontal.setVisible(false); horizontal.setSelection(0); } else { horizontal.setPageIncrement(clientArea.width - horizontal.getIncrement()); int max= bounds.width + (size.x - clientArea.width); horizontal.setMaximum(max); horizontal.setThumb(size.x > max ? max : size.x); horizontal.setVisible(true); } ScrollBar vertical= getVerticalBar(); if (bounds.height <= clientArea.height) { vertical.setVisible(false); vertical.setSelection(0); } else { vertical.setPageIncrement(clientArea.height - vertical.getIncrement()); int max= bounds.height + (size.y - clientArea.height); vertical.setMaximum(max); vertical.setThumb(size.y > max ? max : size.y); vertical.setVisible(true); } }