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

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

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

Scale.setIncrement介绍

[英]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.
[中]设置在参数上按向上/向下(或向右/向左)箭头时,接收器值将被修改的量,该值必须至少为一。

代码示例

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

/**
 * Sets the increment of the "Example" widgets.
 */
void setWidgetIncrement () {
  scale1.setIncrement (incrementSpinner.getSelection ());
}

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

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

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

slider.setMinimum(0);
slider.setMaximum(Sensitivity.values().length - 1);
slider.setIncrement(1);
slider.setSize(200, 10);
slider.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, false));

代码示例来源: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.setIncrement(self.getInt("increment", 1));

代码示例来源:origin: org.eclipse/org.eclipse.jst.ws.consumption.ui

clientScale_.setMinimum(0);
clientScale_.setMaximum(6);
clientScale_.setIncrement(1);
clientScale_.addSelectionListener(scaleSelectionListener);        
setClientScale(getClientGeneration());

相关文章