/** * {@inheritDoc} */ public int getMinimum() { return scrollBar.getMinimum(); }
@Override public void runSupport() { if (isDisposed()) { return; } int pos = vBar.getSelection(); if ( distance > 0 ){ pos += distance; pos = Math.min( pos,vBar.getMaximum()); vBar.setSelection( pos ); }else{ pos += distance; pos = Math.max( pos,vBar.getMinimum()); vBar.setSelection( pos ); } swt_vBarChanged(); }}); }
/** * {@inheritDoc} */ public void setSelection(int selection) { // RAP [if]: ScrollBar#setSelection() does not limit the value // scrollBar.setSelection(selection); int minimum = scrollBar.getMinimum(); int maximum = scrollBar.getMaximum(); int thumb = scrollBar.getThumb(); if( selection < minimum ) { scrollBar.setSelection( minimum ); } else if ( selection > maximum - thumb ) { scrollBar.setSelection( maximum - thumb ); } else { scrollBar.setSelection( selection ); } }
@Override public boolean computePositions(Rectangle currClientArea, Scrollable scrollable) { fHandleDrawnRect = null; if (this.fScrollBar == null || this.fScrollBar.getMaximum() - this.fScrollBar.getMinimum() <= 1 || !getVisible() || !this.fScrollBarSettings.getScrollBarThemed()) { return false; } StyledText styledText = (StyledText) scrollable; int lineWidth = getCurrentScrollBarWidth(); int w = currClientArea.width; int h = currClientArea.height - (styledText.getTopMargin() + styledText.getBottomMargin()); this.fScrollBarPositions = new ScrollBarPositions.ScrollBarPositionsVertical(this.fScrollBar.getMinimum(), this.fScrollBar.getMaximum(), styledText.getTopPixel(), h, w); fHandleDrawnRect = fScrollBarPositions.getHandleDrawRect(lineWidth); if (fHandleDrawnRect == null || h <= fHandleDrawnRect.height) { return false; } return true; }
@Override public boolean computePositions(Rectangle currClientArea, Scrollable scrollable) { fHandleDrawnRect = null; if (this.fScrollBar == null || this.fScrollBar.getMaximum() - this.fScrollBar.getMinimum() <= 1 || !getVisible() || !this.fScrollBarSettings.getScrollBarThemed()) { return false; } StyledText styledText = (StyledText) scrollable; int lineWidth = getCurrentScrollBarWidth(); int w = currClientArea.width - (styledText.getLeftMargin() + styledText.getRightMargin()); int h = currClientArea.height; fScrollBarPositions = new ScrollBarPositions.ScrollBarPositionsHorizontal(this.fScrollBar.getMinimum(), this.fScrollBar.getMaximum(), styledText.getHorizontalPixel(), h, w); fHandleDrawnRect = fScrollBarPositions.getHandleDrawRect(lineWidth); if (fHandleDrawnRect == null || w <= fHandleDrawnRect.width) { return false; } return true; }
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); } } /**
&& proximityRectHorizontal.contains(controlPos.x, controlPos.y)) && currClientArea.width < (fHorizontalScrollHandler.fScrollBar.getMaximum() - fHorizontalScrollHandler.fScrollBar.getMinimum())); - fVerticalScrollHandler.fScrollBar.getMinimum()));