001: /*BEGIN_COPYRIGHT_BLOCK
002: *
003: * Copyright (c) 2001-2007, JavaPLT group at Rice University (javaplt@rice.edu)
004: * All rights reserved.
005: *
006: * Redistribution and use in source and binary forms, with or without
007: * modification, are permitted provided that the following conditions are met:
008: * * Redistributions of source code must retain the above copyright
009: * notice, this list of conditions and the following disclaimer.
010: * * Redistributions in binary form must reproduce the above copyright
011: * notice, this list of conditions and the following disclaimer in the
012: * documentation and/or other materials provided with the distribution.
013: * * Neither the names of DrJava, the JavaPLT group, Rice University, nor the
014: * names of its contributors may be used to endorse or promote products
015: * derived from this software without specific prior written permission.
016: *
017: * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
018: * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
019: * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
020: * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
021: * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
022: * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
023: * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
024: * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
025: * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
026: * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
027: * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
028: *
029: * This software is Open Source Initiative approved Open Source Software.
030: * Open Source Initative Approved is a trademark of the Open Source Initiative.
031: *
032: * This file is part of DrJava. Download the current version of this project
033: * from http://www.drjava.org/ or http://sourceforge.net/projects/drjava/
034: *
035: * END_COPYRIGHT_BLOCK*/
036:
037: package edu.rice.cs.drjava.ui.config;
038:
039: import javax.swing.*;
040: import javax.swing.event.*;
041: import edu.rice.cs.drjava.config.*;
042: import edu.rice.cs.drjava.*;
043: import java.awt.*;
044:
045: /**
046: * Graphical form of an IntegerOption.
047: * @version $Id: IntegerOptionComponent.java 4255 2007-08-28 19:17:37Z mgricken $
048: */
049: public class IntegerOptionComponent extends OptionComponent<Integer> {
050: private JTextField _jtf;
051:
052: public IntegerOptionComponent(IntegerOption opt, String text,
053: Frame parent) {
054: super (opt, text, parent);
055: _jtf = new JTextField();
056: _jtf.setText(_option.format(DrJava.getConfig().getSetting(
057: _option)));
058: _jtf.getDocument().addDocumentListener(new DocumentListener() {
059: public void insertUpdate(DocumentEvent e) {
060: notifyChangeListeners();
061: }
062:
063: public void removeUpdate(DocumentEvent e) {
064: notifyChangeListeners();
065: }
066:
067: public void changedUpdate(DocumentEvent e) {
068: notifyChangeListeners();
069: }
070: });
071: }
072:
073: /**
074: * Constructor that allows for a tooltip description.
075: */
076: public IntegerOptionComponent(IntegerOption opt, String text,
077: Frame parent, String description) {
078: this (opt, text, parent);
079: setDescription(description);
080: }
081:
082: /**
083: * Sets the tooltip description text for this option.
084: * @param description the tooltip text
085: */
086: public void setDescription(String description) {
087: _jtf.setToolTipText(description);
088: _label.setToolTipText(description);
089: }
090:
091: /**
092: * Updates the config object with the new setting.
093: * @return true if the new value is set successfully
094: */
095: public boolean updateConfig() {
096:
097: Integer currentValue = DrJava.getConfig().getSetting(_option);
098: String enteredString = _jtf.getText().trim();
099: //If the current value is the same as the enterd value, there is nothing to do.
100: if (currentValue.toString().equals(enteredString)) {
101: return true;
102: }
103:
104: Integer enteredValue;
105: try {
106: enteredValue = _option.parse(enteredString);
107: } catch (OptionParseException ope) {
108: showErrorMessage("Invalid Integer!", ope);
109: return false;
110: }
111:
112: DrJava.getConfig().setSetting(_option, enteredValue);
113: return true;
114: }
115:
116: /**
117: * Displays the given value.
118: */
119: public void setValue(Integer value) {
120: _jtf.setText(_option.format(value));
121: }
122:
123: /**
124: * Return's this OptionComponent's configurable component.
125: */
126: public JComponent getComponent() {
127: return _jtf;
128: }
129:
130: }
|