mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
This ensures now splash-screen is shown when preferences are changed or CLI-mode is used. More information in #5131. However this does NOT fix #5131, since the Arduino IDE in CLI-mode still requires X11 (according to #1981).