1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-01 12:24:14 +01:00

Fixes issue 4440

This commit is contained in:
Ivan Esparza 2016-04-01 18:04:35 -07:00 committed by Cristian Maglie
parent ed9240d5e7
commit 9c583829de

View File

@ -127,8 +127,6 @@ public class Base {
System.setProperty("swing.aatext", "true");
System.setProperty("java.net.useSystemProxies", "true");
splashScreenHelper.splashText(tr("Loading configuration..."));
if (OSUtils.isMacOS()) {
ThinkDifferent.init();
}
@ -158,6 +156,8 @@ public class Base {
BaseNoGui.initParameters(args);
splashScreenHelper.splashText(tr("Loading configuration..."));
BaseNoGui.initVersion();
// if (System.getProperty("mrj.version") != null) {