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 edu.rice.cs.drjava.config.*;
041: import edu.rice.cs.drjava.*;
042: import java.awt.*;
043: import java.awt.event.*;
044:
045: /** Graphical form of a ColorOption.
046: * @version $Id: ColorOptionComponent.java 4255 2007-08-28 19:17:37Z mgricken $
047: */
048: public class ColorOptionComponent extends OptionComponent<Color> {
049: private JButton _button;
050: private JTextField _colorField;
051: private JPanel _panel;
052: private Color _color;
053: private boolean _isBackgroundColor;
054: private boolean _isBoldText;
055:
056: /** Main constructor for ColorOptionComponent.
057: * @param opt The ColorOption to display
058: * @param text The text to display in the label of the component
059: * @param parent The Frame displaying this component
060: */
061: public ColorOptionComponent(ColorOption opt, String text,
062: Frame parent) {
063: this (opt, text, parent, false);
064: }
065:
066: /** An alternate constructor, allowing the caller to specify whether this color is a background color. If so,
067: * the button will display the color as its background.
068: */
069: public ColorOptionComponent(ColorOption opt, String text,
070: Frame parent, boolean isBackgroundColor) {
071: this (opt, text, parent, isBackgroundColor, false);
072: }
073:
074: public ColorOptionComponent(ColorOption opt, String text,
075: Frame parent, boolean isBackgroundColor, boolean isBoldText) {
076: super (opt, text, parent);
077: _isBackgroundColor = isBackgroundColor;
078: _isBoldText = isBoldText;
079: _button = new JButton();
080: _button.addActionListener(new ActionListener() {
081: public void actionPerformed(ActionEvent e) {
082: chooseColor();
083: }
084: });
085: _button.setText("...");
086: _button.setMaximumSize(new Dimension(10, 10));
087: _button.setMinimumSize(new Dimension(10, 10));
088:
089: _colorField = new JTextField();
090: _colorField.setEditable(false);
091: _colorField.setHorizontalAlignment(JTextField.CENTER);
092: _panel = new JPanel(new BorderLayout());
093: _panel.add(_colorField, BorderLayout.CENTER);
094: _panel.add(_button, BorderLayout.EAST);
095: if (_isBackgroundColor) {
096: // _colorField.setForeground(Color.black);
097: _colorField.setForeground(DrJava.getConfig().getSetting(
098: OptionConstants.DEFINITIONS_NORMAL_COLOR));
099: DrJava.getConfig().addOptionListener(
100: OptionConstants.DEFINITIONS_NORMAL_COLOR,
101: new OptionListener<Color>() {
102: public void optionChanged(OptionEvent<Color> oe) {
103: _colorField.setForeground(oe.value);
104: }
105: });
106: } else {
107: // _colorField.setBackground(Color.white);
108: _colorField.setBackground(DrJava.getConfig().getSetting(
109: OptionConstants.DEFINITIONS_BACKGROUND_COLOR));
110: DrJava.getConfig().addOptionListener(
111: OptionConstants.DEFINITIONS_BACKGROUND_COLOR,
112: new OptionListener<Color>() {
113: public void optionChanged(OptionEvent<Color> oe) {
114: _colorField.setBackground(oe.value);
115: }
116: });
117: }
118: if (_isBoldText) {
119: _colorField.setFont(_colorField.getFont().deriveFont(
120: Font.BOLD));
121: }
122: _color = DrJava.getConfig().getSetting(_option);
123: _updateField(_color);
124: }
125:
126: /** Constructor that allows for a tooltip description. */
127: public ColorOptionComponent(ColorOption opt, String text,
128: Frame parent, String description) {
129: this (opt, text, parent, description, false);
130: }
131:
132: /** Constructor that allows for a tooltip description as well as whether or not this is a background color. */
133: public ColorOptionComponent(ColorOption opt, String text,
134: Frame parent, String description, boolean isBackgroundColor) {
135: this (opt, text, parent, isBackgroundColor);
136: setDescription(description);
137: }
138:
139: /** Constructor that allows for a tooltip description as well as whether or not this is a background color.*/
140: public ColorOptionComponent(ColorOption opt, String text,
141: Frame parent, String description,
142: boolean isBackgroundColor, boolean isBoldText) {
143: this (opt, text, parent, isBackgroundColor, isBoldText);
144: setDescription(description);
145: }
146:
147: /** Sets the tooltip description text for this option.
148: * @param description the tooltip text
149: */
150: public void setDescription(String description) {
151: _panel.setToolTipText(description);
152: _button.setToolTipText(description);
153: _colorField.setToolTipText(description);
154: _label.setToolTipText(description);
155: }
156:
157: /** Updates the config object with the new setting.
158: * @return true if the new value is set successfully
159: */
160: public boolean updateConfig() {
161: if (!_color.equals(DrJava.getConfig().getSetting(_option))) {
162: DrJava.getConfig().setSetting(_option, _color);
163: }
164:
165: return true;
166: }
167:
168: /** Displays the given value. */
169: public void setValue(Color value) {
170: _color = value;
171: _updateField(value);
172: }
173:
174: /** Updates the component's field to display the given color. */
175: private void _updateField(Color c) {
176: if (_isBackgroundColor) {
177: _colorField.setBackground(c);
178: } else {
179: _colorField.setForeground(c);
180: }
181: _colorField.setText(getLabelText() + " (" + _option.format(c)
182: + ")");
183: }
184:
185: /**
186: * Return's this OptionComponent's configurable component.
187: */
188: public JComponent getComponent() {
189: return _panel;
190: }
191:
192: /** Shows a color chooser dialog for picking a new color. */
193: public void chooseColor() {
194: Color c = JColorChooser.showDialog(_parent, "Choose '"
195: + getLabelText() + "'", _color);
196: if (c != null) {
197: _color = c;
198: notifyChangeListeners();
199: _updateField(_color);
200: }
201: }
202:
203: }
|