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

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

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

Spinner.setPageIncrement介绍

[英]Sets the amount that the receiver's position will be modified by when the page up/down keys are pressed 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 () {
  spinner1.setPageIncrement (pageIncrementSpinner.getSelection ());
}

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

parameterIndexSpinner.setSelection(0);
parameterIndexSpinner.setIncrement(1);
parameterIndexSpinner.setPageIncrement(5);
parameterIndexSpinner.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, false, false, 1, 1));
parameterIndexSpinner.addModifyListener(new ModifyListener() {

代码示例来源：origin: org.eclipse/org.eclipse.ui.editors

spinner.setMaximum(domain.getMaximumValue().getIntValue());
spinner.setIncrement(1);
spinner.setPageIncrement(4);

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

searchDepthSpinner.setSelection(-1);
searchDepthSpinner.setIncrement(1);
searchDepthSpinner.setPageIncrement(100);
searchDepthSpinner.setEnabled(false);
searchDepthSpinner.setToolTipText("A value of -1 means that no limit for the search depth is used!");

代码示例来源：origin: org.eclipse.scout.sdk.deps/org.eclipse.ui.editors

spinner.setMaximum(domain.getMaximumValue().getIntValue());
spinner.setIncrement(1);
spinner.setPageIncrement(4);

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

/**
 * Create a group of widgets to control the increment
 * attribute of the example widget.
 */
void createIncrementGroup() {
  /* Create the group */
  Group incrementGroup = new Group (controlGroup, SWT.NONE);
  incrementGroup.setLayout (new GridLayout ());
  incrementGroup.setText (ControlExample.getResourceString("Increment"));
  incrementGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
  /* Create the Spinner widget */
  incrementSpinner = new Spinner (incrementGroup, SWT.BORDER);
  incrementSpinner.setMaximum (100000);
  incrementSpinner.setSelection (getDefaultIncrement());
  incrementSpinner.setPageIncrement (100);
  incrementSpinner.setIncrement (1);
  incrementSpinner.setLayoutData (new GridData (SWT.FILL, SWT.CENTER, true, false));
  /* Add the listeners */
  incrementSpinner.addSelectionListener (widgetSelectedAdapter(e -> setWidgetIncrement ()));
}

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

/**
 * Create a group of widgets to control the page increment
 * attribute of the example widget.
 */
void createPageIncrementGroup() {
  /* Create the group */
  Group pageIncrementGroup = new Group (controlGroup, SWT.NONE);
  pageIncrementGroup.setLayout (new GridLayout ());
  pageIncrementGroup.setText (ControlExample.getResourceString("Page_Increment"));
  pageIncrementGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
  /* Create the Spinner widget */
  pageIncrementSpinner = new Spinner (pageIncrementGroup, SWT.BORDER);
  pageIncrementSpinner.setMaximum (100000);
  pageIncrementSpinner.setSelection (getDefaultPageIncrement());
  pageIncrementSpinner.setPageIncrement (100);
  pageIncrementSpinner.setIncrement (1);
  pageIncrementSpinner.setLayoutData (new GridData (SWT.FILL, SWT.CENTER, true, false));
  /* Add the listeners */
  pageIncrementSpinner.addSelectionListener (widgetSelectedAdapter(event -> setWidgetPageIncrement ()));
}

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

/**
 * Create a group of widgets to control the maximum
 * attribute of the example widget.
 */
void createMaximumGroup() {
  /* Create the group */
  Group maximumGroup = new Group (controlGroup, SWT.NONE);
  maximumGroup.setLayout (new GridLayout ());
  maximumGroup.setText (ControlExample.getResourceString("Maximum"));
  maximumGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
  /* Create a Spinner widget */
  maximumSpinner = new Spinner (maximumGroup, SWT.BORDER);
  maximumSpinner.setMaximum (100000);
  maximumSpinner.setSelection (getDefaultMaximum());
  maximumSpinner.setPageIncrement (100);
  maximumSpinner.setIncrement (1);
  maximumSpinner.setLayoutData (new GridData (SWT.FILL, SWT.CENTER, true, false));
  /* Add the listeners */
  maximumSpinner.addSelectionListener(widgetSelectedAdapter(event -> setWidgetMaximum ()));
}

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

depthSpinner.setSelection(-1);
depthSpinner.setIncrement(1);
depthSpinner.setPageIncrement(100);
depthSpinner.setEnabled(false);
depthSpinner.setToolTipText("A value of -1 means that no limit for the search depth is used!");

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

/**
 * Create a group of widgets to control the minimum
 * attribute of the example widget.
 */
void createMinimumGroup() {
  /* Create the group */
  Group minimumGroup = new Group (controlGroup, SWT.NONE);
  minimumGroup.setLayout (new GridLayout ());
  minimumGroup.setText (ControlExample.getResourceString("Minimum"));
  minimumGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
  /* Create a Spinner widget */
  minimumSpinner = new Spinner (minimumGroup, SWT.BORDER);
  minimumSpinner.setMaximum (100000);
  minimumSpinner.setSelection(getDefaultMinimum());
  minimumSpinner.setPageIncrement (100);
  minimumSpinner.setIncrement (1);
  minimumSpinner.setLayoutData (new GridData (SWT.FILL, SWT.CENTER, true, false));
  /* Add the listeners */
  minimumSpinner.addSelectionListener (widgetSelectedAdapter(event -> setWidgetMinimum ()));
}

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

/**
 * Create a group of widgets to control the selection
 * attribute of the example widget.
 */
void createSelectionGroup() {
  /* Create the group */
  Group selectionGroup = new Group(controlGroup, SWT.NONE);
  selectionGroup.setLayout(new GridLayout());
  GridData gridData = new GridData(SWT.FILL, SWT.BEGINNING, false, false);
  selectionGroup.setLayoutData(gridData);
  selectionGroup.setText(ControlExample.getResourceString("Selection"));
  /* Create a Spinner widget */
  selectionSpinner = new Spinner (selectionGroup, SWT.BORDER);
  selectionSpinner.setMaximum (100000);
  selectionSpinner.setSelection (getDefaultSelection());
  selectionSpinner.setPageIncrement (100);
  selectionSpinner.setIncrement (1);
  selectionSpinner.setLayoutData (new GridData (SWT.FILL, SWT.CENTER, true, false));
  /* Add the listeners */
  selectionSpinner.addSelectionListener(widgetSelectedAdapter(event -> setWidgetSelection ()));
}

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

/**
 * Create a group of widgets to control the page increment
 * attribute of the example widget.
 */
void createPageIncrementGroup() {
  /* Create the group */
  Group pageIncrementGroup = new Group (controlGroup, SWT.NONE);
  pageIncrementGroup.setLayout (new GridLayout ());
  pageIncrementGroup.setText (ControlExample.getResourceString("Page_Increment"));
  pageIncrementGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
  /* Create the Spinner widget */
  pageIncrementSpinner = new Spinner (pageIncrementGroup, SWT.BORDER);
  pageIncrementSpinner.setMaximum (100000);
  pageIncrementSpinner.setSelection (getDefaultPageIncrement());
  pageIncrementSpinner.setPageIncrement (100);
  pageIncrementSpinner.setIncrement (1);
  pageIncrementSpinner.setLayoutData (new GridData (SWT.FILL, SWT.CENTER, true, false));
  /* Add the listeners */
  pageIncrementSpinner.addSelectionListener (widgetSelectedAdapter(event -> setWidgetPageIncrement ()));
}

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

/**
 * Create a group of widgets to control the thumb
 * attribute of the example widget.
 */
void createThumbGroup() {
  /* Create the group */
  Group thumbGroup = new Group (controlGroup, SWT.NONE);
  thumbGroup.setLayout (new GridLayout ());
  thumbGroup.setText (ControlExample.getResourceString("Thumb"));
  thumbGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
  /* Create the Spinner widget */
  thumbSpinner = new Spinner (thumbGroup, SWT.BORDER);
  thumbSpinner.setMaximum (100000);
  thumbSpinner.setSelection (getDefaultThumb());
  thumbSpinner.setPageIncrement (100);
  thumbSpinner.setIncrement (1);
  thumbSpinner.setLayoutData (new GridData (SWT.FILL, SWT.CENTER, true, false));
  /* Add the listeners */
  thumbSpinner.addSelectionListener (widgetSelectedAdapter(event -> setWidgetThumb ()));
}

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

/**
 * Create a group of widgets to control the increment
 * attribute of the example widget.
 */
void createIncrementGroup() {
  /* Create the group */
  Group incrementGroup = new Group (controlGroup, SWT.NONE);
  incrementGroup.setLayout (new GridLayout ());
  incrementGroup.setText (ControlExample.getResourceString("Increment"));
  incrementGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
  /* Create the Spinner widget */
  incrementSpinner = new Spinner (incrementGroup, SWT.BORDER);
  incrementSpinner.setMaximum (100000);
  incrementSpinner.setSelection (getDefaultIncrement());
  incrementSpinner.setPageIncrement (100);
  incrementSpinner.setIncrement (1);
  incrementSpinner.setLayoutData (new GridData (SWT.FILL, SWT.CENTER, true, false));
  /* Add the listeners */
  incrementSpinner.addSelectionListener (widgetSelectedAdapter(e -> setWidgetIncrement ()));
}

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

/**
 * Create a group of widgets to control the digits
 * attribute of the example widget.
 */
void createDigitsGroup() {
  /* Create the group */
  Group digitsGroup = new Group (controlGroup, SWT.NONE);
  digitsGroup.setLayout (new GridLayout ());
  digitsGroup.setText (ControlExample.getResourceString("Digits"));
  digitsGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
  /* Create the Spinner widget */
  digitsSpinner = new Spinner (digitsGroup, SWT.BORDER);
  digitsSpinner.setMaximum (100000);
  digitsSpinner.setSelection (getDefaultDigits());
  digitsSpinner.setPageIncrement (100);
  digitsSpinner.setIncrement (1);
  digitsSpinner.setLayoutData (new GridData (SWT.FILL, SWT.CENTER, true, false));
  /* Add the listeners */
  digitsSpinner.addSelectionListener (widgetSelectedAdapter(e -> setWidgetDigits ()));
}

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

/**
 * Create a group of widgets to control the increment
 * attribute of the example widget.
 */
void createIncrementGroup() {
  /* Create the group */
  Group incrementGroup = new Group (controlGroup, SWT.NONE);
  incrementGroup.setLayout (new GridLayout ());
  incrementGroup.setText (ControlExample.getResourceString("Increment"));
  incrementGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
  /* Create the Spinner widget */
  incrementSpinner = new Spinner (incrementGroup, SWT.BORDER);
  incrementSpinner.setMaximum (100000);
  incrementSpinner.setSelection (getDefaultIncrement());
  incrementSpinner.setPageIncrement (100);
  incrementSpinner.setIncrement (1);
  incrementSpinner.setLayoutData (new GridData (SWT.FILL, SWT.CENTER, true, false));
  /* Add the listeners */
  incrementSpinner.addSelectionListener (widgetSelectedAdapter(e -> setWidgetIncrement ()));
}

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

/**
 * Create a group of widgets to control the page increment
 * attribute of the example widget.
 */
void createPageIncrementGroup() {
  /* Create the group */
  Group pageIncrementGroup = new Group (controlGroup, SWT.NONE);
  pageIncrementGroup.setLayout (new GridLayout ());
  pageIncrementGroup.setText (ControlExample.getResourceString("Page_Increment"));
  pageIncrementGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
  /* Create the Spinner widget */
  pageIncrementSpinner = new Spinner (pageIncrementGroup, SWT.BORDER);
  pageIncrementSpinner.setMaximum (100000);
  pageIncrementSpinner.setSelection (getDefaultPageIncrement());
  pageIncrementSpinner.setPageIncrement (100);
  pageIncrementSpinner.setIncrement (1);
  pageIncrementSpinner.setLayoutData (new GridData (SWT.FILL, SWT.CENTER, true, false));
  /* Add the listeners */
  pageIncrementSpinner.addSelectionListener (widgetSelectedAdapter(event -> setWidgetPageIncrement ()));
}

代码示例来源：origin: eclipse-jetty/eclipse-jetty-plugin

private void createServerGroup(Composite tabComposite)
{
  Composite serverGroup = createTopComposite(tabComposite, SWT.NONE, 7, -1, false, 1, 1);
  createLabel(serverGroup, Messages.configTab_contextPathLabel, 128, SWT.RIGHT, 1, 1);
  contextText =
    createText(serverGroup, SWT.BORDER, Messages.configTab_contextPathTextTip, -1, -1, 6, 1,
      modifyDialogListener);
  createLabel(serverGroup, Messages.configTab_portLabel, 128, SWT.RIGHT, 1, 1);
  portSpinner =
    createSpinner(serverGroup, SWT.BORDER, Messages.configTab_portSpinnerTip, 32, -1, 1, 1,
      modifyDialogListener);
  portSpinner.setMinimum(0);
  portSpinner.setMaximum(65535);
  portSpinner.setIncrement(1);
  portSpinner.setPageIncrement(1000);
  createLabel(serverGroup, "/", 16, SWT.CENTER, 1, 1); //$NON-NLS-1$
  httpsPortSpinner =
    createSpinner(serverGroup, SWT.BORDER, Messages.configTab_httpProtSpinnerTip, 32, -1, 1, 1,
      modifyDialogListener);
  httpsPortSpinner.setMinimum(0);
  httpsPortSpinner.setMaximum(65535);
  httpsPortSpinner.setIncrement(1);
  httpsPortSpinner.setPageIncrement(1000);
  httpsEnabledButton =
    createButton(serverGroup, SWT.CHECK, Messages.configTab_httpsEnableButton,
      Messages.configTab_httpsEnableButtonTip, -1, 3, 1, modifyDialogListener);
}

代码示例来源：origin: org.eclipse/org.eclipse.wst.xml.ui

fIndentationSize.setMaximum(MAX_INDENTATION_SIZE);
fIndentationSize.setIncrement(1);
fIndentationSize.setPageIncrement(4);
fIndentationSize.addModifyListener(this);

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

String pageIncrement = self.getString("pageIncrement");
if(pageIncrement != null && !"".equals(pageIncrement))
  spinner.setPageIncrement(self.getInt("pageIncrement", 10));
String selection = self.getString("selection");
if(selection != null && !"".equals(selection))

内容来源于网络，如有侵权，请联系作者删除！

spinner

相关文章

    查看更多

    热门标签

    更多
    JavaquerypythonNode开发语言requestUtil数据库Table后端算法LoggerMessageElementParser

    最新文章

    更多

    Spinner类方法

    • 蜀ICP备2022004421号-2 NULL123 https://www.null123.com © All rights reserved
    • 本站内容来源互联网,如果侵犯您的权益请联系我们删除, 联系方式：448109455@qq.com