mirror of
https://github.com/arduino/Arduino.git
synced 2024-12-01 12:24:14 +01:00
Fixed the "double" splash screen with high-DPI monitors.
This commit is contained in:
parent
9215c06676
commit
885a517099
@ -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>
|
||||
|
Loading…
Reference in New Issue
Block a user