private void ok() { nrcols = wCols.getSelection(); nrrows = wRows.getSelection(); scale = wScale.getSelection(); dispose(); }
public void widgetSelected( SelectionEvent se ) { Slider sl = (Slider) se.widget; scale = sl.getSelection(); wCanvas.redraw(); } } );
public void widgetSelected( SelectionEvent se ) { Slider sl = (Slider) se.widget; nrcols = sl.getSelection(); wCanvas.redraw(); } } );
public void widgetSelected( SelectionEvent se ) { Slider sl = (Slider) se.widget; nrrows = sl.getSelection(); wCanvas.redraw(); } } );
/** {@inheritDoc} */ public int getSelection() { return slider.getSelection(); } }
/** {@inheritDoc} */ @Override public int getSelection() { return slider.getSelection(); } }
/** {@inheritDoc} */ public int getSelection() { return slider.getSelection(); } }
/** * Gets the default selection of the "Example" widgets. */ @Override int getDefaultSelection () { return slider1.getSelection(); }
@Override int doGetIntValue(Object source) { return ((Slider) source).getSelection(); }
final Slider slider = new Slider(shell, SWT.NONE); slider.setMaximum(100); slider.setMinimum(0); slider.setThumb(20); slider.addSelectionListener(new SelectionListener() { @Override public void widgetSelected(SelectionEvent e) { System.out.println( slider.getSelection() +" "+ slider.getThumb()); } @Override public void widgetDefaultSelected(SelectionEvent e) { // TODO Auto-generated method stub } });
/** * Sets the minimum value. If this value is negative or greater * than or equal to the maximum, the value is ignored. If necessary, * first the thumb and then the selection are adjusted to fit within * the new range. * * @param value the new minimum * * @exception SWTException <ul> * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> * </ul> */ public void setMinimum (int value) { checkWidget(); if (value < 0) return; if (value >= maximum) return; if (maximum - value < thumb) { thumb = maximum - value; } int selection = Math.min(maximum - thumb, Math.max (getSelection (), value)); this.minimum = value; updateBar(selection, value, maximum, thumb); }
private void writeSelection( final Slider slider ) throws IOException { Integer newValue = new Integer( slider.getSelection() ); String prop = PROP_SELECTION; Integer defValue = DEFAULT_SELECTION; if( WidgetLCAUtil.hasChanged( slider, prop, newValue, defValue ) ) { JSWriter writer = JSWriter.getWriterFor( slider ); writer.set( PROP_SELECTION, newValue ); } }
/** * Sets the maximum. If this value is negative or less than or * equal to the minimum, the value is ignored. If necessary, first * the thumb and then the selection are adjusted to fit within the * new range. * * @param value the new maximum, which must be greater than the current minimum * * @exception SWTException <ul> * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> * </ul> */ public void setMaximum (int value) { checkWidget(); if (value < 0) return; if (value <= minimum) return; if (value - minimum < thumb) { thumb = value - minimum; } int selection = Math.max(minimum, Math.min (getSelection (), value - thumb)); this.maximum = value; updateBar(selection, minimum, value, thumb); }
/** * Sets the thumb value. The thumb value should be used to represent * the size of the visual portion of the current range. This value is * usually the same as the page increment value. * <p> * This new value will be ignored if it is less than one, and will be * clamped if it exceeds the receiver's current range. * </p> * * @param value the new thumb value, which must be at least one and not * larger than the size of the current range * * @exception SWTException <ul> * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> * </ul> */ public void setThumb (int value) { checkWidget(); if (value < 1) return; value = Math.min (value, maximum - minimum); updateBar(getSelection(), minimum, maximum, value); this.thumb = value; }
public void preserveValues( final Widget widget ) { Slider slider = ( Slider )widget; ControlLCAUtil.preserveValues( slider ); IWidgetAdapter adapter = WidgetUtil.getAdapter( slider ); boolean hasListeners = SelectionEvent.hasListener( slider ); adapter.preserve( Props.SELECTION_LISTENERS, Boolean.valueOf( hasListeners ) ); adapter.preserve( PROP_SELECTION, new Integer( slider.getSelection() ) ); adapter.preserve( PROP_MAXIMUM, new Integer( slider.getMaximum() ) ); adapter.preserve( PROP_MINIMUM, new Integer( slider.getMinimum() ) ); adapter.preserve( PROP_PAGE_INCREMENT, new Integer( slider.getPageIncrement() ) ); adapter.preserve( PROP_INCREMENT, new Integer( slider.getIncrement() ) ); adapter.preserve( PROP_THUMB, new Integer( slider.getThumb() ) ); }
void sendSelection () { Event event = new Event(); int hitPart = (int)/*64*/((NSScroller)view).hitPart(); int value = getSelection (); switch (hitPart) { case OS.NSScrollerDecrementLine:
@Override public void preserveValues( Slider slider ) { preserveProperty( slider, PROP_MINIMUM, slider.getMinimum() ); preserveProperty( slider, PROP_MAXIMUM, slider.getMaximum() ); preserveProperty( slider, PROP_SELECTION, slider.getSelection() ); preserveProperty( slider, PROP_INCREMENT, slider.getIncrement() ); preserveProperty( slider, PROP_PAGE_INCREMENT, slider.getPageIncrement() ); preserveProperty( slider, PROP_THUMB, slider.getThumb() ); }
@Override public void renderChanges( Slider slider ) throws IOException { ControlLCAUtil.renderChanges( slider ); WidgetLCAUtil.renderCustomVariant( slider ); renderProperty( slider, PROP_MINIMUM, slider.getMinimum(), DEFAULT_MINIMUM ); renderProperty( slider, PROP_MAXIMUM, slider.getMaximum(), DEFAULT_MAXIMUM ); renderProperty( slider, PROP_SELECTION, slider.getSelection(), DEFAULT_SELECTION ); renderProperty( slider, PROP_INCREMENT, slider.getIncrement(), DEFAULT_INCREMENT ); renderProperty( slider, PROP_PAGE_INCREMENT, slider.getPageIncrement(), DEFAULT_PINCREMENT ); renderProperty( slider, PROP_THUMB, slider.getThumb(), DEFAULT_THUMB ); renderListenSelection( slider ); renderClientListeners( slider ); }