KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > edu > rice > cs > drjava > ui > HistorySaveDialog


1 /*BEGIN_COPYRIGHT_BLOCK
2  *
3  * This file is part of DrJava. Download the current version of this project from http://www.drjava.org/
4  * or http://sourceforge.net/projects/drjava/
5  *
6  * DrJava Open Source License
7  *
8  * Copyright (C) 2001-2005 JavaPLT group at Rice University (javaplt@rice.edu). All rights reserved.
9  *
10  * Developed by: Java Programming Languages Team, Rice University, http://www.cs.rice.edu/~javaplt/
11  *
12  * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated
13  * documentation files (the "Software"), to deal with the Software without restriction, including without limitation
14  * the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and
15  * to permit persons to whom the Software is furnished to do so, subject to the following conditions:
16  *
17  * - Redistributions of source code must retain the above copyright notice, this list of conditions and the
18  * following disclaimers.
19  * - Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the
20  * following disclaimers in the documentation and/or other materials provided with the distribution.
21  * - Neither the names of DrJava, the JavaPLT, Rice University, nor the names of its contributors may be used to
22  * endorse or promote products derived from this Software without specific prior written permission.
23  * - Products derived from this software may not be called "DrJava" nor use the term "DrJava" as part of their
24  * names without prior written permission from the JavaPLT group. For permission, write to javaplt@rice.edu.
25  *
26  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO
27  * THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
28  * CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
29  * CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
30  * WITH THE SOFTWARE.
31  *
32 END_COPYRIGHT_BLOCK*/

33
34
35 package edu.rice.cs.drjava.ui;
36
37 import javax.swing.*;
38 import java.awt.event.*;
39 import java.io.Serializable JavaDoc;
40
41 /** Displayed when the user chooses to save the interactions history. It will show the current history and allow the
42  * user to edit or save it to a file.
43  * $Id: HistorySaveDialog.java 3197 2005-05-23 13:58:00Z rcartwright $
44  */

45 public class HistorySaveDialog extends DrJavaScrollableDialog implements Serializable JavaDoc {
46
47   /** Reference to the history text being edited. */
48   private String JavaDoc _history;
49
50   /** Lock to ensure this history is only edited by one user at a time.
51    * TODO: Is this necessary?
52    */

53 // private Object _historyLock = new Object();
54

55   /** Creates a new HistorySaveDialog.
56    * @param parent Parent frame for this dialog
57    */

58   public HistorySaveDialog (JFrame parent) {
59     super(parent, "Save Interactions History",
60           "Make any changes to the history, and then click \"Save\".", "");
61   }
62
63   /** Creates a custom set of buttons for this panel, including Save and Cancel. */
64   protected void _addButtons() {
65     // Updates the _history field with the new contents and closes the dialog
66
Action saveAction = new AbstractAction("Save") {
67       public void actionPerformed (ActionEvent ae) {
68         _history = _textArea.getText();
69         _dialog.dispose();
70       }
71     };
72
73     // Closes the dialog
74
Action cancelAction = new AbstractAction("Cancel") {
75       public void actionPerformed (ActionEvent ae) { _dialog.dispose(); }
76     };
77
78     JButton saveButton = new JButton(saveAction);
79     JButton cancelButton = new JButton(cancelAction);
80     _buttonPanel.add(saveButton);
81     _buttonPanel.add(cancelButton);
82     _dialog.getRootPane().setDefaultButton(saveButton);
83   }
84
85   /** Shows the dialog for editing the given history.
86    * @param history History to edit
87    * @return Edited history, if it is saved. Null, if not.
88    */

89   public String JavaDoc editHistory(String JavaDoc history) {
90 // synchronized(_historyLock) {
91
_history = null; // make it null by default
92
_textArea.setText(history);
93     _textArea.setEditable(true);
94     
95     // Block until the dialog is closed
96
show();
97     
98     // The save action will set the history field
99
return _history;
100 // }
101
}
102 }
103
Popular Tags