/** {@inheritDoc} */ public int getMinimum() { return scale.getMinimum(); }
/** {@inheritDoc} */ @Override public int getMinimum() { return scale.getMinimum(); }
/** * Gets the default minimim of the "Example" widgets. */ @Override int getDefaultMinimum () { return scale1.getMinimum(); }
@Override int doGetIntValue(Object source) { return ((Scale) source).getMinimum(); }
/** {@inheritDoc} */ public int getMinimum() { return scale.getMinimum(); }
private void writeMinimum( final Scale scale ) throws IOException { Integer newValue = new Integer( scale.getMinimum() ); String prop = PROP_MINIMUM; Integer defValue = DEFAULT_MINIMUM; if( WidgetLCAUtil.hasChanged( scale, prop, newValue, defValue ) ) { JSWriter writer = JSWriter.getWriterFor( scale ); writer.set( prop, newValue ); } }
@Override public void processReinit( Object aControlInitValue ) { if ( ( slider != null ) && ( ! slider.isDisposed() ) ) { if ( aControlInitValue != null ) { // -- apply initValue if one has been specified -- setValue( (String) aControlInitValue, true ); } else { // -- set to minimum when no initValue exists -- slider.setSelection( slider.getMinimum() ); } } }
/** * Sets the maximum value that the receiver will allow. This new * value will be ignored if it is not greater than the receiver's current * minimum value. If the new maximum is applied then the receiver's * selection value will be adjusted if necessary to fall within its 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 (); int minimum = getMinimum(); if (value <= minimum) return; OS.g_signal_handlers_block_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); OS.gtk_range_set_range (handle, minimum, value); OS.g_signal_handlers_unblock_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); }
public void preserveValues( final Widget widget ) { Scale scale = ( Scale )widget; ControlLCAUtil.preserveValues( scale ); IWidgetAdapter adapter = WidgetUtil.getAdapter( scale ); boolean hasListeners = SelectionEvent.hasListener( scale ); adapter.preserve( Props.SELECTION_LISTENERS, Boolean.valueOf( hasListeners ) ); adapter.preserve( PROP_SELECTION, new Integer( scale.getSelection() ) ); adapter.preserve( PROP_MAXIMUM, new Integer( scale.getMaximum() ) ); adapter.preserve( PROP_MINIMUM, new Integer( scale.getMinimum() ) ); adapter.preserve( PROP_PAGE_INCREMENT, new Integer( scale.getPageIncrement() ) ); adapter.preserve( PROP_INCREMENT, new Integer( scale.getIncrement() ) ); WidgetLCAUtil.preserveCustomVariant( scale ); }
/** * Sets the maximum value that the receiver will allow. This new * value will be ignored if it is not greater than the receiver's current * minimum value. If the new maximum is applied then the receiver's * selection value will be adjusted if necessary to fall within its 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 (); int minimum = getMinimum(); if (value <= minimum) return; OS.g_signal_handlers_block_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); OS.gtk_range_set_range (handle, minimum, value); OS.g_signal_handlers_unblock_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); }
/** * Sets the maximum value that the receiver will allow. This new * value will be ignored if it is not greater than the receiver's current * minimum value. If the new maximum is applied then the receiver's * selection value will be adjusted if necessary to fall within its 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 (); int minimum = getMinimum(); if (value <= minimum) return; OS.g_signal_handlers_block_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); OS.gtk_range_set_range (handle, minimum, value); OS.g_signal_handlers_unblock_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); }
Scale scale = new Scale( metawidget.getCurrentLayoutComposite(), SWT.NONE ); scale.setMinimum( Integer.parseInt( minimumValue ) ); scale.setSelection( scale.getMinimum() ); scale.setMaximum( Integer.parseInt( maximumValue ) );
@Override public void preserveValues( Scale scale ) { preserveProperty( scale, PROP_MINIMUM, scale.getMinimum() ); preserveProperty( scale, PROP_MAXIMUM, scale.getMaximum() ); preserveProperty( scale, PROP_SELECTION, scale.getSelection() ); preserveProperty( scale, PROP_INCREMENT, scale.getIncrement() ); preserveProperty( scale, PROP_PAGE_INCREMENT, scale.getPageIncrement() ); }
@Override public void renderChanges( Scale scale ) throws IOException { ControlLCAUtil.renderChanges( scale ); WidgetLCAUtil.renderCustomVariant( scale ); renderProperty( scale, PROP_MINIMUM, scale.getMinimum(), DEFAULT_MINIMUM ); renderProperty( scale, PROP_MAXIMUM, scale.getMaximum(), DEFAULT_MAXIMUM ); renderProperty( scale, PROP_SELECTION, scale.getSelection(), DEFAULT_SELECTION ); renderProperty( scale, PROP_INCREMENT, scale.getIncrement(), DEFAULT_INCREMENT ); renderProperty( scale, PROP_PAGE_INCREMENT, scale.getPageIncrement(), DEFAULT_PAGE_INCREMENT ); renderListenSelection( scale ); renderClientListeners( scale ); }