org.eclipse.swt.widgets.Scale.setPageIncrement()方法的使用及代码示例

x33g5p2x  于2022-01-30 转载在 其他  
字(2.0k)|赞(0)|评价(0)|浏览(151)

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

Scale.setPageIncrement介绍

[英]Sets the amount that the receiver's value will be modified by when the page increment/decrement areas are selected to the argument, which must be at least one.
[中]设置当为参数选择页面递增/递减区域时,接收器值将被修改的量,该值必须至少为一。

代码示例

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

/**
 * Sets the page increment of the "Example" widgets.
 */
void setWidgetPageIncrement () {
  scale1.setPageIncrement (pageIncrementSpinner.getSelection ());
}

代码示例来源:origin: stackoverflow.com

scale.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));
scale.setMaximum (4);
scale.setPageIncrement (1);
scale.setSelection(4);

代码示例来源:origin: atdl4j/atdl4j

slider.setPageIncrement( 1 );
GridData sliderData = new GridData( SWT.FILL, SWT.FILL, true, false );
sliderData.horizontalSpan = numColumns;

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

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

代码示例来源:origin: org.eclipse.scout.sdk.deps/org.eclipse.jface

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

代码示例来源:origin: org.eclipse.platform/org.eclipse.jface

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

代码示例来源:origin: org.xworker/xworker_swt

scale.setPageIncrement(self.getInt("pageIncrement", 1));

相关文章