mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-06-10 06:06:33 +00:00

Use a default `false` value for the `explorer.compactFolders` preference Closes #1015. Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
Use a default `false` value for the `explorer.compactFolders` preference Closes #1015. Signed-off-by: Akos Kitta <a.kitta@arduino.cc>