/**
* Copyright (C) 2002-2012 The FreeCol Team
*
* This file is part of FreeCol.
*
* FreeCol is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 2 of the License, or
* (at your option) any later version.
*
* FreeCol is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with FreeCol. If not, see <http://www.gnu.org/licenses/>.
*/
package net.sf.freecol.client.gui.option;
import org.freecolandroid.repackaged.javax.swing.JSpinner;
import org.freecolandroid.repackaged.javax.swing.SpinnerNumberModel;
import net.sf.freecol.client.gui.GUI;
import net.sf.freecol.common.option.IntegerOption;
/**
* This class provides visualization for an {@link
* net.sf.freecol.common.option.IntegerOption}. In order to enable
* values to be both seen and changed.
*/
public final class IntegerOptionUI extends OptionUI<IntegerOption> {
private JSpinner spinner = new JSpinner();
/**
* Creates a new <code>IntegerOptionUI</code> for the given <code>IntegerOption</code>.
* @param option The <code>IntegerOption</code> to make a user interface for.
* @param editable boolean whether user can modify the setting
*/
public IntegerOptionUI(GUI gui, final IntegerOption option, boolean editable) {
super(gui, option, editable);
int value = option.getValue();
if (editable) {
int min = option.getMinimumValue();
int max = option.getMaximumValue();
if (min > max) {
int tmp = min;
min = max;
max = tmp;
}
int stepSize = Math.max(1, Math.min((max - min) / 10, 1000));
spinner.setModel(new SpinnerNumberModel(value, min, max, stepSize));
} else {
spinner.setModel(new SpinnerNumberModel(value, value, value, 1));
}
initialize();
}
/**
* {@inheritDoc}
*/
public JSpinner getComponent() {
return spinner;
}
/**
* {@inheritDoc}
*/
public void updateOption() {
getOption().setValue((Integer) spinner.getValue());
}
/**
* {@inheritDoc}
*/
public void reset() {
spinner.setValue(getOption().getValue());
}
}