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

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

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

Spinner.setMaximum介绍

[英]Sets the maximum value that the receiver will allow. This new value will be ignored if it is less than the receiver's current minimum value. If the new maximum is applied then the receiver's selection value will be adjusted if necessary to fall within its new range.
[中]设置接收器允许的最大值。如果新值小于接收器当前的最小值，则将忽略该值。如果应用了新的最大值，则接收机的选择值将在必要时进行调整，以在其新范围内。

代码示例

代码示例来源：origin: pentaho/pentaho-kettle

wIntervalSeconds.setMaximum( Integer.MAX_VALUE );
placeControl(
 shell, BaseMessages.getString( PKG, "JobSpecial.IntervalSeconds.Label" ), wIntervalSeconds, wType );
wIntervalMinutes.setMaximum( Integer.MAX_VALUE );
placeControl(
 shell, BaseMessages.getString( PKG, "JobSpecial.IntervalMinutes.Label" ), wIntervalMinutes,
wHour = new Spinner( time, SWT.SINGLE | SWT.LEFT | SWT.BORDER );
wHour.setMinimum( 0 );
wHour.setMaximum( 23 );
wMinutes = new Spinner( time, SWT.SINGLE | SWT.LEFT | SWT.BORDER );
wMinutes.setMinimum( 0 );
wMinutes.setMaximum( 59 );
placeControl( shell, BaseMessages.getString( PKG, "JobSpecial.TimeOfDay.Label" ), time, wIntervalMinutes );
wDayOfMonth.addModifyListener( lsMod );
wDayOfMonth.setMinimum( 1 );
wDayOfMonth.setMaximum( 30 );
placeControl( shell, BaseMessages.getString( PKG, "JobSpecial.DayOfMonth.Label" ), wDayOfMonth, wDayOfWeek );

代码示例来源：origin: pentaho/pentaho-kettle

wFontSize = new Spinner( wNoteFontComp, SWT.BORDER );
wFontSize.setMinimum( 0 );
wFontSize.setMaximum( 70 );
wFontSize.setIncrement( 1 );
fdFontSize = new FormData();

代码示例来源：origin: BiglySoftware/BiglyBT

@Override
  public void runSupport() {
    spinner.setMaximum(value);
  }
});

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

@Override
void doSetIntValue(Object source, int value) {
  ((Spinner) source).setMaximum(value);
}

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

/**
 * Sets the minimim of the "Example" widgets.
 */
@Override
void setWidgetMaximum () {
  spinner1.setMaximum (maximumSpinner.getSelection ());
}

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

private Spinner createSpinner(Composite parent, FormToolkit toolkit) {
  Spinner spinner = new Spinner(parent, SWT.BORDER);
  spinner.setMinimum(0);
  spinner.setMaximum(9999);
  toolkit.adapt(spinner, false, false);
  return spinner;
}

代码示例来源：origin: org.eclipse.platform/org.eclipse.ui.ide.application

protected void createMaxWorkspacesField(Composite parent) {
  final Label maxWorkspacesLabel = new Label(parent, SWT.NONE);
  maxWorkspacesLabel.setText(IDEWorkbenchMessages.RecentWorkspacesPreferencePage_NumberOfWorkspaces_label);
  maxWorkspacesField = new Spinner(parent, SWT.BORDER);
  maxWorkspacesField.setTextLimit(MAX_WORKSPACES_DIGIT_COUNT);
  maxWorkspacesField.setMinimum(MIN_WORKSPACS);
  maxWorkspacesField.setMaximum(MAX_WORKSPACES);
  maxWorkspacesField.setSelection(workspacesData.getRecentWorkspaces().length);
}

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

protected Composite createMinOccurComp(Composite parent, FormToolkit toolkit) {
  fMinLabel = toolkit.createLabel(parent, PDEUIMessages.AbstractSchemaDetails_minOccurLabel);
  fMinLabel.setForeground(toolkit.getColors().getColor(IFormColors.TITLE));
  Composite comp = toolkit.createComposite(parent);
  GridData gd = new GridData(GridData.FILL_HORIZONTAL);
  gd.horizontalSpan = 2;
  GridLayout layout = new GridLayout();
  layout.marginHeight = layout.marginWidth = 0;
  comp.setLayout(layout);
  comp.setLayoutData(gd);
  fMinOccurSpinner = new Spinner(comp, SWT.BORDER);
  fMinOccurSpinner.setMinimum(0);
  fMinOccurSpinner.setMaximum(999);
  return comp;
}

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

private void createFontSizeGroup( Composite parent ) {
 Group result = new Group( parent, SWT.NONE );
 result.setLayoutData( new GridData( SWT.FILL, SWT.FILL, true, false ) );
 result.setText( RWTMessages.getMessage( "RWT_FontDialogFontSizeTitle" ) );
 result.setLayout( new GridLayout() );
 spFontSize = new Spinner( result, SWT.BORDER );
 spFontSize.setDigits( 0 );
 spFontSize.setMinimum( 0 );
 spFontSize.setMaximum( 200 );
 GridData spinnerData = new GridData( SWT.FILL, SWT.FILL, true, true );
 spFontSize.setLayoutData( spinnerData );
}

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

static Spinner createSpinner(Composite parentComposite, int minValue, int maxValue) {
  Spinner spinner= new Spinner(parentComposite, SWT.BORDER);
  spinner.setFont(parentComposite.getFont());
  spinner.setMinimum(minValue);
  spinner.setMaximum(maxValue);
  spinner.setLayoutData(createGridData(1, GridData.HORIZONTAL_ALIGN_END, SWT.DEFAULT, 0));
  return spinner;
}

代码示例来源：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: 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 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 ()));
}

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

spinner

相关文章

    查看更多

    热门标签

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

    最新文章

    更多

    Spinner类方法

    • 蜀ICP备13028337号-1 大数据知识库 https://www.saoniuhuo.com © All rights reserved
    • 本站内容来源互联网,如果侵犯您的权益请联系我们删除, 联系方式：448109455@qq.com