Increase Sketchbook view tree indent

[per1234]

Describe the request

Increase the size of the indentation of each tree level in the Arduino IDE sketchbook view.

🙂 The structure of sketchbooks which organize sketches into subfolders will be clearly visible.

Describe the current behavior

The Arduino IDE's "Sketchbook" view allows the user to browse and open sketches in their sketchbook folder.

Users may find it useful to organize their sketches into subfolders of the sketchbook folder. These subfolders can be expanded in the "Sketchbook" view, which indicates the nesting structure by indentation levels

🙁 The indent size is very small, which might make it more difficult to see the structure at a glance.

Arduino IDE version

2.0.0-rc7

Operating system

Windows, Linux

Operating system version

Windows 10, Ubuntu 20.04

Additional context

I had the same problem in VS Code (which used to have a similarly miniscule default indent size of 8 px before they increased it to 20. I was able to customize it to my own preference via the workbench.tree.indent settings key. Unfortunately, this key does not seem to be supported by Arduino IDE/Eclipse Theia.

---

Related: #1050

Issue checklist

• I searched for previous requests in the issue tracker
• I verified the feature was still missing when using the latest nightly build
• My request contains all necessary details