01: /*BEGIN_COPYRIGHT_BLOCK
02: *
03: * Copyright (c) 2001-2007, JavaPLT group at Rice University (javaplt@rice.edu)
04: * All rights reserved.
05: *
06: * Redistribution and use in source and binary forms, with or without
07: * modification, are permitted provided that the following conditions are met:
08: * * Redistributions of source code must retain the above copyright
09: * notice, this list of conditions and the following disclaimer.
10: * * Redistributions in binary form must reproduce the above copyright
11: * notice, this list of conditions and the following disclaimer in the
12: * documentation and/or other materials provided with the distribution.
13: * * Neither the names of DrJava, the JavaPLT group, Rice University, nor the
14: * names of its contributors may be used to endorse or promote products
15: * derived from this software without specific prior written permission.
16: *
17: * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18: * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19: * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20: * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
21: * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
22: * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
23: * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
24: * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
25: * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
26: * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
27: * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28: *
29: * This software is Open Source Initiative approved Open Source Software.
30: * Open Source Initative Approved is a trademark of the Open Source Initiative.
31: *
32: * This file is part of DrJava. Download the current version of this project
33: * from http://www.drjava.org/ or http://sourceforge.net/projects/drjava/
34: *
35: * END_COPYRIGHT_BLOCK*/
36:
37: package edu.rice.cs.drjava.ui;
38:
39: import javax.swing.*;
40:
41: import edu.rice.cs.util.swing.ScrollableDialog;
42:
43: import edu.rice.cs.drjava.DrJava;
44: import edu.rice.cs.drjava.config.OptionConstants;
45:
46: /** A JDialog with a scrollable text area and a button panel. Uses DrJava's configurable Main Font in the text area.
47: * @version $Id: DrJavaScrollableDialog.java 4255 2007-08-28 19:17:37Z mgricken $
48: */
49: public class DrJavaScrollableDialog extends ScrollableDialog {
50:
51: /** Creates a new DrJavaScrollableDialog with the default width and height.
52: * @param parent Parent frame for this dialog
53: * @param title Title for this dialog
54: * @param header Message to display at the top of this dialog
55: * @param text Text to insert into the scrollable JTextArea
56: */
57: public DrJavaScrollableDialog(JFrame parent, String title,
58: String header, String text) {
59: this (parent, title, header, text, DEFAULT_WIDTH, DEFAULT_HEIGHT);
60: }
61:
62: /**
63: * Creates a new DrJavaScrollableDialog.
64: * @param parent Parent frame for this dialog
65: * @param title Title for this dialog
66: * @param header Message to display at the top of this dialog
67: * @param text Text to insert into the scrollable JTextArea
68: * @param width Width for this dialog
69: * @param height Height for this dialog
70: */
71: public DrJavaScrollableDialog(JFrame parent, String title,
72: String header, String text, int width, int height) {
73: super(parent, title, header, text, width, height);
74: setTextFont(DrJava.getConfig().getSetting(
75: OptionConstants.FONT_MAIN));
76: }
77: }
|