edu.rice.cs.drjava.ui
Class HistorySaveDialog
java.lang.Object
|
+--edu.rice.cs.drjava.ui.HistorySaveDialog
- public class HistorySaveDialog
- extends Object
Displayed when the user chooses to save the interactions history. It will show
the current history and allow the user to edit or save it to a file.
$Id: HistorySaveDialog.java,v 1.4 2002/09/02 21:24:12 csreis Exp $
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |
_dialog
private final JDialog _dialog
_textArea
private JTextArea _textArea
_history
private String _history
_historyLock
private Object _historyLock
_saveListener
private final ActionListener _saveListener
_cancelListener
private final ActionListener _cancelListener
HistorySaveDialog
public HistorySaveDialog(MainFrame frame)
editHistory
public String editHistory(String history)