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
Merge branch 'develop' into bug/JAL-4059_update_swingJS_for_JalviewJS_2_11_2_and_2_11_3
[jalview.git]
/
src
/
jalview
/
gui
/
SplashScreen.java
diff --git
a/src/jalview/gui/SplashScreen.java
b/src/jalview/gui/SplashScreen.java
index
97de08a
..
ff409e0
100755
(executable)
--- a/
src/jalview/gui/SplashScreen.java
+++ b/
src/jalview/gui/SplashScreen.java
@@
-113,6
+113,7
@@
public class SplashScreen extends JPanel
*/
public SplashScreen(boolean isTransient)
{
*/
public SplashScreen(boolean isTransient)
{
+ Desktop.instance.acquireDialogQueue();
this.transientDialog = isTransient;
if (Platform.isJS()) // BH 2019
this.transientDialog = isTransient;
if (Platform.isJS()) // BH 2019
@@
-171,7
+172,7
@@
public class SplashScreen extends JPanel
}
if (mt.isErrorAny())
{
}
if (mt.isErrorAny())
{
- System.err.println("Error when loading images!");
+ jalview.bin.Console.errPrintln("Error when loading images!");
}
} while (!mt.checkAll());
Desktop.instance.setIconImages(ChannelProperties.getIconList());
}
} while (!mt.checkAll());
Desktop.instance.setIconImages(ChannelProperties.getIconList());
@@
-227,7
+228,7
@@
public class SplashScreen extends JPanel
protected boolean refreshText()
{
String newtext = Desktop.instance.getAboutMessage();
protected boolean refreshText()
{
String newtext = Desktop.instance.getAboutMessage();
- // System.err.println("Text found: \n"+newtext+"\nEnd of newtext.");
+ // jalview.bin.Console.errPrintln("Text found: \n"+newtext+"\nEnd of newtext.");
if (oldTextLength != newtext.length())
{
iframe.setVisible(false);
if (oldTextLength != newtext.length())
{
iframe.setVisible(false);
@@
-267,7
+268,7
@@
public class SplashScreen extends JPanel
splashText.setVisible(true);
splashText.setSize(new Dimension(750,
splashText.setVisible(true);
splashText.setSize(new Dimension(750,
- 375 + logoSize + (Platform.isJS() ? 40 : 0)));
+ 425 + logoSize + (Platform.isJS() ? 40 : 0)));
splashText.setBackground(bg);
splashText.setForeground(fg);
splashText.setFont(font);
splashText.setBackground(bg);
splashText.setForeground(fg);
splashText.setFont(font);
@@
-323,7
+324,7
@@
public class SplashScreen extends JPanel
}
closeSplash();
}
closeSplash();
- Desktop.instance.startDialogQueue();
+ Desktop.instance.releaseDialogQueue();
}
/**
}
/**