edu.rice.cs.drjava.ui
Class HistorySaveDialog

java.lang.Object
  edu.rice.cs.util.swing.ScrollableDialog
      edu.rice.cs.drjava.ui.DrJavaScrollableDialog
          edu.rice.cs.drjava.ui.HistorySaveDialog

public class HistorySaveDialog
extends DrJavaScrollableDialog

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 4674 2008-11-05 18:37:06Z rcartwright $

Field Summary

Fields inherited from class edu.rice.cs.util.swing.ScrollableDialog

_buttonPanel, _dialog, _textArea, _textScroll, DEFAULT_HEIGHT, DEFAULT_WIDTH

Constructor Summary

HistorySaveDialog(JFrame parent)
Creates a new HistorySaveDialog.

Method Summary

protected void	_addButtons() Creates a custom set of buttons for this panel, including Save and Cancel.
String	editHistory(String history) Shows the dialog for editing the given history.

Methods inherited from class edu.rice.cs.util.swing.ScrollableDialog

setTextFont, show

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HistorySaveDialog

public HistorySaveDialog(JFrame parent)

Creates a new HistorySaveDialog.

Parameters:

parent - Parent frame for this dialog

Method Detail

_addButtons

protected void _addButtons()

Creates a custom set of buttons for this panel, including Save and Cancel.

Overrides:

_addButtons in class ScrollableDialog

editHistory

public String editHistory(String history)

Shows the dialog for editing the given history.

Parameters:

history - History to edit

Returns:

Edited history, if it is saved. Null, if not.