edu.rice.cs.drjava.ui
Class DrJavaScrollableDialog

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

Direct Known Subclasses:

HistorySaveDialog

public class DrJavaScrollableDialog
extends ScrollableDialog

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 4512 2008-06-10 20:37:43Z mgricken $

Field Summary

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

_buttonPanel, _dialog, _textArea, _textScroll, DEFAULT_HEIGHT, DEFAULT_WIDTH

Constructor Summary

DrJavaScrollableDialog(JFrame parent, String title, String header, String text)
Creates a new DrJavaScrollableDialog with the default width and height.

DrJavaScrollableDialog(JFrame parent, String title, String header, String text, boolean wrap)
Creates a new DrJavaScrollableDialog with the default width and height.

DrJavaScrollableDialog(JFrame parent, String title, String header, String text, int width, int height)
Creates a new DrJavaScrollableDialog.

DrJavaScrollableDialog(JFrame parent, String title, String header, String text, int width, int height, boolean wrap)
Creates a new DrJavaScrollableDialog.

Method Summary

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

_addButtons, setTextFont, show

Methods inherited from class java.lang.Object

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

Constructor Detail

DrJavaScrollableDialog

public DrJavaScrollableDialog(JFrame parent,
                              String title,
                              String header,
                              String text)

Creates a new DrJavaScrollableDialog with the default width and height.

Parameters:

parent - Parent frame for this dialog

title - Title for this dialog

header - Message to display at the top of this dialog

text - Text to insert into the scrollable JTextArea

DrJavaScrollableDialog

public DrJavaScrollableDialog(JFrame parent,
                              String title,
                              String header,
                              String text,
                              int width,
                              int height)

Creates a new DrJavaScrollableDialog.

Parameters:

parent - Parent frame for this dialog

title - Title for this dialog

header - Message to display at the top of this dialog

text - Text to insert into the scrollable JTextArea

width - Width for this dialog

height - Height for this dialog

DrJavaScrollableDialog

public DrJavaScrollableDialog(JFrame parent,
                              String title,
                              String header,
                              String text,
                              boolean wrap)

Creates a new DrJavaScrollableDialog with the default width and height.

Parameters:

parent - Parent frame for this dialog

title - Title for this dialog

header - Message to display at the top of this dialog

text - Text to insert into the scrollable JTextArea

wrap - whether to wrap long lines

DrJavaScrollableDialog

public DrJavaScrollableDialog(JFrame parent,
                              String title,
                              String header,
                              String text,
                              int width,
                              int height,
                              boolean wrap)

Creates a new DrJavaScrollableDialog.

Parameters:

parent - Parent frame for this dialog

title - Title for this dialog

header - Message to display at the top of this dialog

text - Text to insert into the scrollable JTextArea

width - Width for this dialog

height - Height for this dialog

wrap - whether to wrap long lines