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 edu.rice.cs.util.swing.FileSelectorComponent;
044: import java.awt.*;
045: import java.io.File;
046: import javax.swing.filechooser.FileFilter;
047:
048: /** Graphical form of a FileOption.
049: *
050: * TO DO: Replace the internal components here with an edu.rice.cs.util.swing.FileSelectorComponent.
051: *
052: * @version $Id: FileOptionComponent.java 4255 2007-08-28 19:17:37Z mgricken $
053: */
054: public class FileOptionComponent extends OptionComponent<File>
055: implements OptionConstants {
056:
057: // private JButton _button;
058: // private JTextField _jtf;
059: // private File _file;
060: // private JFileChooser _jfc;
061: // private FileFilter _fileFilter; // null if not customized
062: private FileSelectorComponent _component;
063:
064: public FileOptionComponent(FileOption opt, String text,
065: Frame parent, JFileChooser jfc) {
066: super (opt, text, parent);
067: // _button = new JButton();
068: // _button.addActionListener(new ActionListener() {
069: // public void actionPerformed(ActionEvent e) {
070: // chooseFile();
071: // }
072: // });
073: // _button.setText("...");
074: // _button.setMaximumSize(new Dimension(10,10));
075: // _button.setMinimumSize(new Dimension(10,10));
076: //
077: // _jtf = new JTextField();
078: // _jtf.setColumns(30);
079: //
080: // _jtf.setFont(_jtf.getFont().deriveFont(10f));
081: // _jtf.addActionListener(new ActionListener() {
082: // public void actionPerformed(ActionEvent e) {
083: // chooseFileFromField();
084: // }
085: // });
086: //
087: // _file = DrJava.getConfig().getSetting(_option);
088: // _updateTextField(_file);
089: //
090: // _jfc = jfc;
091: // _fileFilter = null;
092: //
093: // _panel = new JPanel();
094: // _panel.setLayout(new BorderLayout());
095: //
096: // _panel.add(_jtf, BorderLayout.CENTER);
097: // _panel.add(_button, BorderLayout.EAST);
098: _component = new FileSelectorComponent(parent, jfc, 30, 10f);
099: File setting = DrJava.getConfig().getSetting(_option);
100: if (setting != _option.getDefault()) {
101: _component.setFileField(setting);
102: }
103: _component.getFileField().getDocument().addDocumentListener(
104: new DocumentListener() {
105: public void insertUpdate(DocumentEvent e) {
106: notifyChangeListeners();
107: }
108:
109: public void removeUpdate(DocumentEvent e) {
110: notifyChangeListeners();
111: }
112:
113: public void changedUpdate(DocumentEvent e) {
114: notifyChangeListeners();
115: }
116: });
117: }
118:
119: /** Constructor that allows for a tooltip description. */
120: public FileOptionComponent(FileOption opt, String text,
121: Frame parent, String description, JFileChooser jfc) {
122: this (opt, text, parent, jfc);
123: setDescription(description);
124: }
125:
126: /** Sets the tooltip description text for this option.
127: * @param description the tooltip text
128: */
129: public void setDescription(String description) {
130: _component.setToolTipText(description);
131: // _button.setToolTipText(description);
132: // _jtf.setToolTipText(description);
133: _label.setToolTipText(description);
134: }
135:
136: /**
137: * Updates the config object with the new setting.
138: * @return true if the new value is set successfully
139: */
140: public boolean updateConfig() {
141: File componentFile = _component.getFileFromField();
142: File currentFile = DrJava.getConfig().getSetting(_option);
143:
144: if (componentFile != null && !componentFile.equals(currentFile)) {
145: DrJava.getConfig().setSetting(_option, componentFile);
146: } else if (componentFile == null) {
147: DrJava.getConfig()
148: .setSetting(_option, _option.getDefault());
149: }
150:
151: return true;
152: }
153:
154: /** Displays the given value. */
155: public void setValue(File value) {
156: // _file = value;
157: // _updateTextField(value);
158: _component.setFileField(value);
159: }
160:
161: /**
162: * Return's this OptionComponent's configurable component.
163: */
164: public JComponent getComponent() {
165: return _component;
166: }
167:
168: // /**
169: // * Updates the text field to display the given file.
170: // */
171: // private void _updateTextField(File c) {
172: //// _jtf.setText(c.getAbsolutePath());
173: // _component.setFileField(c);
174: // }
175:
176: /**
177: * Set the file filter for this file option component
178: */
179: public void setFileFilter(FileFilter fileFilter) {
180: // _fileFilter = fileFilter;
181: _component.setFileFilter(fileFilter);
182: }
183:
184: // /**
185: // * Shows a file chooser to pick a new file. Allows picking directories.
186: // */
187: // public void chooseFile() {
188: // if (_file != FileOption.NULL_FILE && _file.getParent() != null) {
189: // _jfc.setCurrentDirectory(new File(_file.getParent()));
190: // }
191: //
192: // if (_fileFilter != null) {
193: // _jfc.setFileFilter(_fileFilter);
194: // }
195: // File c = null;
196: // int returnValue = _jfc.showDialog(_parent,
197: // null);
198: // if (returnValue == JFileChooser.APPROVE_OPTION)
199: // c = _jfc.getSelectedFile();
200: // if (c != null) {
201: // _file = c;
202: // _updateTextField(_file);
203: // }
204: // }
205:
206: // /**
207: // * The chooser method for the validation of filenames that are manually entered
208: // * into the text field.
209: // * @return False, if file does not exist. True, otherwise.
210: // */
211: // public boolean chooseFileFromField() {
212: // String newValue = _jtf.getText().trim();
213: // String currentValue = DrJava.getConfig().getSetting(_option).getAbsolutePath();
214: //
215: // if (newValue.equals(currentValue)) {
216: // return true;
217: // }
218: //
219: // File newFile = _option.parse(newValue);
220: //
221: // if (newFile != null && !newFile.exists()) {
222: // JOptionPane.showMessageDialog(_parent,
223: // "The file '"+ newValue + "' is an invalid selection for\n" +
224: // getLabelText() + " because it does not exist.",
225: // "Invalid File Chosen for " + getLabelText() + "!",
226: // JOptionPane.ERROR_MESSAGE);
227: // return false;
228: // }
229: // else {
230: // _file = newFile;
231: // return true;
232: // }
233: // }
234: }
|