41 |
|
*/ |
42 |
|
public static final String DEFAULT_CONFIG_FILE = "./etc/default.conf"; |
43 |
|
|
44 |
+ |
/** |
45 |
+ |
* The time in seconds to display the splash |
46 |
+ |
* screen for |
47 |
+ |
*/ |
48 |
+ |
public static final int DISPLAY_SPLASH_TIME_SECONDS = 3; |
49 |
+ |
|
50 |
|
//---STATIC METHODS--- |
51 |
|
|
52 |
|
/** |
77 |
|
Conient.addMessage("Conient {an i-scream Client} © 2001 University of Kent & Project i-scream"); |
78 |
|
|
79 |
|
Conient.addMessage("Conient ready."); |
80 |
+ |
|
81 |
|
} |
82 |
|
|
83 |
|
|
126 |
|
|
127 |
|
// a nice icon for the window |
128 |
|
setIconImage((new ImageIcon("./uk/ac/ukc/iscream/conient/server.gif")).getImage()); |
129 |
< |
// show the window |
129 |
> |
|
130 |
> |
// and just because we can, a silly splash screen |
131 |
> |
// of the dudes that did this funky gibble |
132 |
> |
Splash splash = new Splash(); |
133 |
> |
splash.show(); |
134 |
> |
// wait |
135 |
> |
try { |
136 |
> |
Thread.sleep(DISPLAY_SPLASH_TIME_SECONDS * 1000); |
137 |
> |
} catch (InterruptedException e) { |
138 |
> |
// don't do anything, we don't care |
139 |
> |
} |
140 |
> |
//loose the window |
141 |
> |
splash.dispose(); |
142 |
> |
splash = null; |
143 |
> |
// show the main window |
144 |
|
show(); |
145 |
|
} |
146 |
|
|
224 |
|
static JTextArea _messages = new JTextArea(); |
225 |
|
{ |
226 |
|
_messages.setLineWrap(true); |
227 |
+ |
} |
228 |
+ |
|
229 |
+ |
//---INNER CLASSES---- |
230 |
+ |
|
231 |
+ |
/** |
232 |
+ |
* An inner class to display a splash screen |
233 |
+ |
*/ |
234 |
+ |
private class Splash extends JWindow { |
235 |
+ |
|
236 |
+ |
/** |
237 |
+ |
* Constructs a new splash screen |
238 |
+ |
*/ |
239 |
+ |
public Splash() { |
240 |
+ |
setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR)); |
241 |
+ |
JPanel splash = new JPanel(); |
242 |
+ |
splash.setBackground(Color.black); |
243 |
+ |
JLabel image = new JLabel((new ImageIcon("./uk/ac/ukc/iscream/conient/i-scream-splash.gif"))); |
244 |
+ |
splash.add(image); |
245 |
+ |
setContentPane(splash); |
246 |
+ |
Dimension screen = getToolkit().getScreenSize(); |
247 |
+ |
pack(); |
248 |
+ |
setLocation((screen.width - getSize().width) / 2, |
249 |
+ |
(screen.height - getSize().height) / 2); |
250 |
+ |
|
251 |
+ |
|
252 |
+ |
} |
253 |
|
} |
254 |
|
} |