offsetx = 0; sbHorizontal.setSelection( 0 ); sbHorizontal.setVisible( false ); } else { offsetx = -sbHorizontal.getSelection(); sbHorizontal.setVisible( true ); offsety = 0; sbVertical.setSelection( 0 ); sbVertical.setVisible( false ); } else { offsety = sbVertical.getSelection(); sbVertical.setVisible( true );
vert.setThumb( 100 ); hori.setVisible( true ); vert.setVisible( true );
vert.setThumb( 100 ); hori.setVisible( true ); vert.setVisible( true );
/** * {@inheritDoc} */ public void setVisible(boolean visible) { scrollBar.setVisible(visible); }
public void install(AbstractThemedScrollBarAdapter abstractThemedScrollBarAdapter) { if (this.fScrollBar != null) { fScrollBar.setVisible(false); this.fScrollBar.addSelectionListener(abstractThemedScrollBarAdapter); } }
@Override public void controlResized(ControlEvent e) { fScrolledPageContent.getVerticalBar().setVisible(showVerticalBar); } });
private void createScrollBars() { if( ( style & SWT.H_SCROLL ) != 0 ) { horizontalBar = new ScrollBar( this, SWT.H_SCROLL ); horizontalBar.setVisible( false ); } if( ( style & SWT.V_SCROLL ) != 0 ) { verticalBar = new ScrollBar( this, SWT.V_SCROLL ); verticalBar.setVisible( false ); } }
@Override public void controlResized(ControlEvent e) { fScrolledPageContent.getVerticalBar().setVisible(true); } });
public void uninstall(AbstractThemedScrollBarAdapter abstractThemedScrollBarAdapter, boolean disposing) { fInitialDragPosition = null; fScrollBarPositions = null; fHandleDrawnRect = null; if (this.fScrollBar != null && !this.fScrollBar.isDisposed() && !disposing) { this.fScrollBar.removeSelectionListener(abstractThemedScrollBarAdapter); // Restore its initial visibility state. // Note: don't do this if we're disposing at this moment as // StyledText will throw a NPE. this.fScrollBar.setVisible(fInitialVisible); } }
void updateScrollBars() { if( ( style & SWT.NO_SCROLL ) == 0 ) { hasVScrollBar = false; hasHScrollBar = needsHScrollBar(); if( needsVScrollBar() ) { hasVScrollBar = true; hasHScrollBar = needsHScrollBar(); } getHorizontalBar().setVisible( hasHScrollBar ); getVerticalBar().setVisible( hasVScrollBar ); } }
void updateScrollBars() { if( ( style & SWT.NO_SCROLL ) == 0 ) { hasVScrollBar = false; hasHScrollBar = needsHScrollBar(); if( needsVScrollBar() ) { hasVScrollBar = true; hasHScrollBar = needsHScrollBar(); } getHorizontalBar().setVisible( hasHScrollBar ); getVerticalBar().setVisible( hasVScrollBar ); } }
void updateScrollBars() { hasVScrollBar = false; hasHScrollBar = needsHScrollBar(); if( needsVScrollBar() ) { hasVScrollBar = true; hasHScrollBar = needsHScrollBar(); } ScrollBar hScroll = getHorizontalBar(); if( hScroll != null ) { hScroll.setVisible( hasHScrollBar ); } ScrollBar vScroll = getVerticalBar(); if( vScroll != null ) { vScroll.setVisible( hasVScrollBar ); } } }
private void updateScrollBars() { ScrollBar vScroll = getVerticalBar(); if( vScroll != null ) { BoxDimensions border = getBorder(); int availableHeight = getBounds().height - ( border.top + border.bottom ) - spacing; vScroll.setVisible( allItemsHeight > availableHeight ); } }
private void setSyncScrolling(boolean newMode) { if (fSynchronizedScrolling != newMode) { fSynchronizedScrolling= newMode; scrollVertical(0, 0, 0, null); // throw away central control (Sash or Canvas) Control center= getCenterControl(); if (center != null && !center.isDisposed()) center.dispose(); fLeft.getTextWidget().getVerticalBar().setVisible(!fSynchronizedScrolling); fRight.getTextWidget().getVerticalBar().setVisible(!fSynchronizedScrolling); fComposite.layout(true); } }
private void setSyncScrolling(boolean newMode) { if (fSynchronizedScrolling != newMode) { fSynchronizedScrolling= newMode; scrollVertical(0, 0, 0, null); // throw away central control (Sash or Canvas) Control center= getCenterControl(); if (center != null && !center.isDisposed()) center.dispose(); fLeft.getSourceViewer().getTextWidget().getVerticalBar().setVisible(!fSynchronizedScrolling); fRight.getSourceViewer().getTextWidget().getVerticalBar().setVisible(!fSynchronizedScrolling); fComposite.layout(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); } } /**