git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
JAL-3253-applet disabling button size setting by applet param. Whatever
[jalview.git]
/
src
/
jalview
/
gui
/
SplashScreen.java
diff --git
a/src/jalview/gui/SplashScreen.java
b/src/jalview/gui/SplashScreen.java
index
98b24d1
..
f5648d2
100755
(executable)
--- a/
src/jalview/gui/SplashScreen.java
+++ b/
src/jalview/gui/SplashScreen.java
@@
-101,7
+101,7
@@
public class SplashScreen extends JPanel
*/
{
authlist = new JTextPane();
*/
{
authlist = new JTextPane();
- Thread t = new Thread(this);
+ Thread t = new Thread(this, "SplashScreen");
t.start();
}
}
t.start();
}
}
@@
-203,7
+203,8
@@
public class SplashScreen extends JPanel
@SuppressWarnings("unused")
protected boolean refreshText()
{
@SuppressWarnings("unused")
protected boolean refreshText()
{
- String newtext = Desktop.getInstance().getAboutMessage(true).toString();
+ Desktop desktop = Desktop.getInstance();
+ String newtext = desktop.getAboutMessage(true).toString();
// System.err.println("Text found: \n"+newtext+"\nEnd of newtext.");
if (oldtext != newtext.length())
{
// System.err.println("Text found: \n"+newtext+"\nEnd of newtext.");
if (oldtext != newtext.length())
{
@@
-236,8
+237,8
@@
public class SplashScreen extends JPanel
authlist.setSize(new Dimension(750, 375));
add(authlist, BorderLayout.CENTER);
revalidate();
authlist.setSize(new Dimension(750, 375));
add(authlist, BorderLayout.CENTER);
revalidate();
- iframe.setBounds((Desktop.getInstance().getWidth() - 750) / 2,
- (Desktop.getInstance().getHeight() - 375) / 2, 750,
+ iframe.setBounds((desktop.getWidth() - 750) / 2,
+ (desktop.getHeight() - 375) / 2, 750,
authlist.getHeight() + iconimg.getHeight());
iframe.validate();
iframe.setVisible(true);
authlist.getHeight() + iconimg.getHeight());
iframe.validate();
iframe.setVisible(true);