rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-17 06:52:18 +01:00
Code Issues Releases Activity

Updating splashscreen text ONLY if visible. Fixes #3808

Browse Source
This commit is contained in:
Federico Fissore 2015-09-17 13:18:35 +02:00
parent c55a9e81ad
commit 57ed2b2416
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
app/src/cc/arduino/view/SplashScreenHelper.java
View File

@ -79,7 +79,11 @@ public class SplashScreenHelper {
splashGraphics.drawString(str, (int) splashTextArea.getX() + 10, (int) splashTextArea.getY() + (30 - metrics.getHeight()) + 4);
// make sure it's displayed
splash.update();
synchronized (SplashScreen.class) {
if (splash.isVisible()) {
splash.update();
}
}
}
public void close() {