| java.lang.Object edu.rice.cs.util.swing.ScrollableDialog edu.rice.cs.drjava.ui.DrJavaScrollableDialog
All known Subclasses: edu.rice.cs.drjava.ui.HistorySaveDialog,
DrJavaScrollableDialog | public class DrJavaScrollableDialog extends ScrollableDialog (Code) | | A JDialog with a scrollable text area and a button panel. Uses DrJava's configurable Main Font in the text area.
version: $Id: DrJavaScrollableDialog.java 4255 2007-08-28 19:17:37Z mgricken $ |
DrJavaScrollableDialog | public DrJavaScrollableDialog(JFrame parent, String title, String header, String text)(Code) | | Creates a new DrJavaScrollableDialog with the default width and height.
Parameters: parent - Parent frame for this dialog Parameters: title - Title for this dialog Parameters: header - Message to display at the top of this dialog Parameters: text - Text to insert into the scrollable JTextArea |
DrJavaScrollableDialog | public DrJavaScrollableDialog(JFrame parent, String title, String header, String text, int width, int height)(Code) | | Creates a new DrJavaScrollableDialog.
Parameters: parent - Parent frame for this dialog Parameters: title - Title for this dialog Parameters: header - Message to display at the top of this dialog Parameters: text - Text to insert into the scrollable JTextArea Parameters: width - Width for this dialog Parameters: height - Height for this dialog |
|
|