/** * Gets the default page increment of the "Example" widgets. */ int getDefaultPageIncrement () { return slider1.getPageIncrement(); }
private void writePageIncrement( final Slider slider ) throws IOException { Integer newValue = new Integer( slider.getPageIncrement() ); String prop = PROP_PAGE_INCREMENT; Integer defValue = DEFAULT_PAGE_INCREMENT; if( WidgetLCAUtil.hasChanged( slider, prop, newValue, defValue ) ) { JSWriter writer = JSWriter.getWriterFor( slider ); writer.set( PROP_PAGE_INCREMENT, newValue ); } }
/** * Sets the amount that the receiver's value will be * modified by when the up/down (or right/left) arrows * are pressed to the argument, which must be at least * one. * * @param value the new increment (must be greater than zero) * * @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 setIncrement (int value) { checkWidget (); if (value < 1) return; OS.g_signal_handlers_block_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); OS.gtk_range_set_increments (handle, value, getPageIncrement ()); OS.g_signal_handlers_unblock_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); }
/** * Sets the amount that the receiver's value will be * modified by when the up/down (or right/left) arrows * are pressed to the argument, which must be at least * one. * * @param value the new increment (must be greater than zero) * * @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 setIncrement (int value) { checkWidget (); if (value < 1) return; OS.g_signal_handlers_block_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); OS.gtk_range_set_increments (handle, value, getPageIncrement ()); OS.g_signal_handlers_unblock_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); }
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() ) ); }
/** * Sets the amount that the receiver's value will be * modified by when the up/down (or right/left) arrows * are pressed to the argument, which must be at least * one. * * @param value the new increment (must be greater than zero) * * @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 setIncrement (int value) { checkWidget (); if (value < 1) return; OS.g_signal_handlers_block_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); OS.gtk_range_set_increments (handle, value, getPageIncrement ()); OS.g_signal_handlers_unblock_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); }
@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 ); }