IntegerOptionSpinnerUI.java

/*
 * Copyright © 2009-2011 Rebecca G. Bettencourt / Kreative Software
 * <p>
 * The contents of this file are subject to the Mozilla Public License
 * Version 1.1 (the "License"); you may not use this file except in
 * compliance with the License. You may obtain a copy of the License at
 * <a href="http://www.mozilla.org/MPL/">http://www.mozilla.org/MPL/</a>
 * <p>
 * Software distributed under the License is distributed on an "AS IS"
 * basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See the
 * License for the specific language governing rights and limitations
 * under the License.
 * <p>
 * Alternatively, the contents of this file may be used under the terms
 * of the GNU Lesser General Public License (the "LGPL License"), in which
 * case the provisions of LGPL License are applicable instead of those
 * above. If you wish to allow use of your version of this file only
 * under the terms of the LGPL License and not to allow others to use
 * your version of this file under the MPL, indicate your decision by
 * deleting the provisions above and replace them with the notice and
 * other provisions required by the LGPL License. If you do not delete
 * the provisions above, a recipient may use your version of this file
 * under either the MPL or the LGPL License.
 * @since PowerPaint 1.0
 * @author Rebecca G. Bettencourt, Kreative Software
 */

package com.kreative.paint.form.ui;

import java.awt.*;
import javax.swing.*;
import javax.swing.event.*;
import com.kreative.paint.form.IntegerOption;
import com.kreative.paint.util.SwingUtils;
import com.kreative.paint.util.UpdateLock;

public class IntegerOptionSpinnerUI extends JSpinner implements FormOptionUI, FormMetrics {
	private static final long serialVersionUID = 1L;
	private SpinnerModel sm;
	private IntegerOption o;
	private boolean m;
	private UpdateLock u = new UpdateLock();
	
	public IntegerOptionSpinnerUI(IntegerOption opt, boolean mini) {
		this.o = opt;
		this.m = mini;
		sm = new SpinnerNumberModel(o.getValue(), o.getMinimum(), o.getMaximum(), o.getStep());
		setModel(sm);
		addChangeListener(new ChangeListener() {
			public void stateChanged(ChangeEvent e) {
				if (u.lock()) {
					o.setValue(((Number) sm.getValue()).intValue());
					u.unlock();
				}
			}
		});
		if (mini) SwingUtils.shrink(this);
		setMinimumSize(new Dimension(mini ? TEXT_BOX_WIDTH_MINI : TEXT_BOX_WIDTH, getMinimumSize().height));
		setPreferredSize(new Dimension(mini ? TEXT_BOX_WIDTH_MINI : TEXT_BOX_WIDTH, getPreferredSize().height));
		setMaximumSize(new Dimension(mini ? TEXT_BOX_WIDTH_MINI : TEXT_BOX_WIDTH, getMaximumSize().height));
	}
	
	public void update() {
		if (u.lock()) {
			sm = new SpinnerNumberModel(o.getValue(), o.getMinimum(), o.getMaximum(), o.getStep());
			setModel(sm);
			if (m) SwingUtils.shrink(this);
			u.unlock();
		}
	}
}