01: // This file is part of KeY - Integrated Deductive Software Design
02: // Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
03: // Universitaet Koblenz-Landau, Germany
04: // Chalmers University of Technology, Sweden
05: //
06: // The KeY system is protected by the GNU General Public License.
07: // See LICENSE.TXT for details.
08: //
09: //
10: package de.uka.ilkd.key.util.install;
11:
12: import java.awt.Font;
13: import java.awt.GridLayout;
14:
15: import javax.swing.JTextArea;
16: import javax.swing.SwingConstants;
17:
18: /** The installer frame consists of a header, the content pane and a
19: * button panel. This content pane is an instance of this class.
20: */
21: public class WelcomePane extends InstallationPane {
22:
23: public WelcomePane(KeYInstaller installer) {
24:
25: super ("Welcome", installer);
26:
27: setLayout(new GridLayout(1, 1));
28: JTextArea text = new JTextArea(5, 30);
29: text.setLineWrap(true);
30: text.setAlignmentX(SwingConstants.CENTER);
31: text.setFont(new Font("Header Font", Font.PLAIN, 14));
32: text.setWrapStyleWord(true);
33: text
34: .setText("Dear User,\n"
35: + " thank you for choosing KeY. In case of any questions, problems "
36: + "or suggestions please contact us: key@ira.uka.de\n"
37: + "We would also be interested to know for which purpose you "
38: + "will use KeY, e.g. research, industry or teaching.\n"
39: + "\t Best regards,\n" + "\t Your KeY-Team");
40: text.setEditable(false);
41: text.setBackground(getBackground());
42: add(text);
43: }
44:
45: public boolean updateModel() {
46: return true;
47: }
48:
49: }
|