- Timestamp:
- 2004-03-16T15:48:37+13:00 (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/gui/OptionsPane.java
r6622 r7059 444 444 case Argument.INTEGER: 445 445 // Build a spinner 446 JSpinner spinner = new JSpinner(new SpinnerNumberModel(0, argument.getMinimum(), argument.getMaximum(), 1)); 447 try { 448 int default_value = Integer.parseInt(argument.getDefaultValue()); 449 spinner.setValue(new Integer(default_value)); 450 } 451 catch (Exception exception) { 452 } 446 int initial_value=0; 447 if (value != null) { 448 try { 449 initial_value = Integer.parseInt(value); 450 } catch (Exception exception) { 451 } 452 } 453 if (initial_value < argument.getMinimum()) { 454 initial_value = argument.getMinimum(); 455 } else if (initial_value > argument.getMaximum()) { 456 initial_value = argument.getMaximum(); 457 } 458 JSpinner spinner = new JSpinner(new SpinnerNumberModel(initial_value, argument.getMinimum(), argument.getMaximum(), 1)); 453 459 spinner.setEnabled(enable); 454 460 spinner.setPreferredSize(SPINNER_SIZE); … … 465 471 else { 466 472 field.setBackground(Color.lightGray); 467 }468 }469 // If there was an original value, set it.470 if(value != null) {471 try {472 spinner.setValue(new Integer(value));473 }474 catch (Exception error) {475 473 } 476 474 }
Note:
See TracChangeset
for help on using the changeset viewer.