/** * Sets the page increment of the "Example" widgets. */ void setWidgetPageIncrement () { scale1.setPageIncrement (pageIncrementSpinner.getSelection ()); }
scale.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true)); scale.setMaximum (4); scale.setPageIncrement (1); scale.setSelection(4);
slider.setPageIncrement( 1 ); GridData sliderData = new GridData( SWT.FILL, SWT.FILL, true, false ); sliderData.horizontalSpan = numColumns;
/** * Update the scale particulars with set values. */ private void updateScale() { if (scale != null && !scale.isDisposed()) { scale.setMinimum(getMinimum()); scale.setMaximum(getMaximum()); scale.setIncrement(getIncrement()); scale.setPageIncrement(getPageIncrement()); } }
/** * Update the scale particulars with set values. */ private void updateScale() { if (scale != null && !scale.isDisposed()) { scale.setMinimum(getMinimum()); scale.setMaximum(getMaximum()); scale.setIncrement(getIncrement()); scale.setPageIncrement(getPageIncrement()); } }
/** * Update the scale particulars with set values. */ private void updateScale() { if (scale != null && !scale.isDisposed()) { scale.setMinimum(getMinimum()); scale.setMaximum(getMaximum()); scale.setIncrement(getIncrement()); scale.setPageIncrement(getPageIncrement()); } }
scale.setPageIncrement(self.getInt("pageIncrement", 1));