From 885a51709938ccba2c317f155591e8df52a17059 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Sat, 16 Jan 2016 14:24:21 +0200
Subject: [PATCH] Fixed the "double" splash screen with high-DPI monitors.

---
 build/windows/launcher/config.xml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/build/windows/launcher/config.xml b/build/windows/launcher/config.xml
index 2c1c757c2..0bfadc663 100644
--- a/build/windows/launcher/config.xml
+++ b/build/windows/launcher/config.xml
@@ -59,9 +59,6 @@
     <opt>-Dsun.java2d.d3d=false</opt>
     <opt>-DAPP_DIR="%EXEDIR%"</opt>
   </jre>
-  <splash>
-    <file>lib/splash.bmp</file>
-  </splash>
   <versionInfo>
     <fileDescription>Arduino IDE</fileDescription>
     <copyright>Arduino LLC</copyright>