本文整理了Java中org.eclipse.swt.widgets.Scale.getPageIncrement()方法的一些代码示例，展示了Scale.getPageIncrement()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台，是从一些精选项目中提取出来的代码，具有较强的参考意义，能在一定程度帮忙到你。Scale.getPageIncrement()方法的具体详情如下：
包路径：org.eclipse.swt.widgets.Scale
类名称：Scale
方法名：getPageIncrement

Scale.getPageIncrement介绍

[英]Returns the amount that the receiver's value will be modified by when the page increment/decrement areas are selected.
[中]返回当选择页面递增/递减区域时接收器值将被修改的量。

代码示例

代码示例来源：origin: org.eclipse.platform/org.eclipse.swt.examples

/**
 * Gets the default page increment of the "Example" widgets.
 */
int getDefaultPageIncrement () {
  return scale1.getPageIncrement();
}

代码示例来源：origin: org.eclipse.rap/org.eclipse.rap.rwt.q07

private void writePageIncrement( final Scale scale ) throws IOException {
 Integer newValue = new Integer( scale.getPageIncrement() );
 String prop = PROP_PAGE_INCREMENT;
 Integer defValue = DEFAULT_PAGE_INCREMENT;
 if( WidgetLCAUtil.hasChanged( scale, prop, newValue, defValue ) ) {
  JSWriter writer = JSWriter.getWriterFor( scale );
  writer.set( prop, newValue );
 }
}

代码示例来源：origin: org.eclipse.platform/org.eclipse.swt.gtk.aix.ppc

/**
 * 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 increment 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 increment) {
  checkWidget ();
  if (increment < 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, increment, getPageIncrement ());
  OS.g_signal_handlers_unblock_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED);
}

代码示例来源：origin: org.eclipse.platform/org.eclipse.swt.gtk.linux.s390x

/**
 * 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 increment 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 increment) {
  checkWidget ();
  if (increment < 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, increment, getPageIncrement ());
  OS.g_signal_handlers_unblock_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED);
}

代码示例来源：origin: org.eclipse.platform/org.eclipse.swt.gtk.linux.ppc

/**
 * 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 increment 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 increment) {
  checkWidget ();
  if (increment < 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, increment, getPageIncrement ());
  OS.g_signal_handlers_unblock_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED);
}

代码示例来源：origin: org.eclipse.rap/org.eclipse.rap.rwt.q07

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 );
}

代码示例来源：origin: org.eclipse.rap/org.eclipse.rap.rwt

@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() );
}

代码示例来源：origin: org.eclipse.rap/org.eclipse.rap.rwt

@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 );
}