| edu.rice.cs.drjava.ui.DrJavaScrollableDialog edu.rice.cs.drjava.ui.HistorySaveDialog
HistorySaveDialog | public class HistorySaveDialog extends DrJavaScrollableDialog implements Serializable(Code) | | 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 4255 2007-08-28 19:17:37Z mgricken $
|
Method Summary | |
protected void | _addButtons() Creates a custom set of buttons for this panel, including Save and Cancel. | public String | editHistory(String history) Shows the dialog for editing the given history.
Parameters: history - History to edit Edited history, if it is saved. |
HistorySaveDialog | public HistorySaveDialog(JFrame parent)(Code) | | Creates a new HistorySaveDialog.
Parameters: parent - Parent frame for this dialog |
_addButtons | protected void _addButtons()(Code) | | Creates a custom set of buttons for this panel, including Save and Cancel.
|
editHistory | public String editHistory(String history)(Code) | | Shows the dialog for editing the given history.
Parameters: history - History to edit Edited history, if it is saved. Null, if not. |
|
|