public void setThumb( int thumb ) { scrollBar.setThumb( thumb ); } }
/** * {@inheritDoc} */ public void setThumb(int value) { scrollBar.setThumb(value); }
ScrollBar createScrollBar (int type) { ScrollBar bar = new ScrollBar (this, type); if ((state & CANVAS) != 0) { bar.setMaximum (100); bar.setThumb (10); } return bar; }
void updateScrollbars(boolean adaptToScrollbar) { final Rectangle rect = image.getBounds(); final Rectangle client = canvas.getClientArea(); hBar.setMaximum(rect.width); vBar.setMaximum(rect.height); hBar.setThumb(Math.min(rect.width, client.width)); vBar.setThumb(Math.min(rect.height, client.height)); if (!adaptToScrollbar) { final org.eclipse.swt.graphics.Point center = getCenteredOrigin(); hBar.setSelection(-center.x); vBar.setSelection(-center.y); } }
/** * 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); } }
/** */ 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); } }
/** */ 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); } }
@Override public void paintControl(PaintEvent e) { timeline.update(); e.gc.drawImage(timeline.contents, origin.x, origin.y); e.gc.setForeground(e.display.getSystemColor(SWT.COLOR_RED)); e.gc.drawLine(origin.x + (int) (currentTime / timeline.timePerPixel), 0, origin.x + (int) (currentTime / timeline.timePerPixel), canvas.getClientArea().height); hBar.setMaximum(timeline.getWidth() == 0 ? 1 : timeline.getWidth() + 20); vBar.setMaximum(timeline.getHeight() + 5); hBar.setThumb(Math.min(timeline.getWidth() + 20, canvas.getClientArea().width)); vBar.setThumb(Math.min(timeline.getHeight() + 5, canvas.getClientArea().height)); } });
/** * 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; }
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); } } /**