Description
Describe the problem
In addition to the common settings that are configurable via the Arduino IDE's File > Preferences dialog, there are some additional settings that can be useful to advanced users, beta testers, or for troubleshooting problems with the Arduino IDE.
These can be adjusted by manually editing a settings.json file. Previously, it was also possible to do via a graphical interface, accessed via a command palette command.
🐛 The advanced settings graphical interface is now empty, containing only the message "That search query has returned no results.".
To reproduce
- Open the "Command Palette".
(Ctrl+Shift+P or Command+Shift+P by default) - Run the "Preferences: Open Settings (UI)" command.
🐛 There are no settings, so the interface is pointless.
Expected behavior
Remove pointless and confusing command palette items.
- OR -
Restore the graphical advanced settings interface.
Arduino IDE version
2.0.0-rc7
Operating system
Windows
Operating system version
10
Additional context
Since the advanced settings will only be of interest to advanced users or users reporting problems with the IDE, who can be guided in their use by a knowledgeable helper, requiring manual editing of a JSON file to set them is perfectly reasonable, and in fact matches the approach used for the Arduino IDE 1.x advanced settings, which could only be configured by manually editing the preferences.txt file.
However, if this is to be done, the location, editing procedure, and method for obtaining the available key names and their descriptions must be documented.
I bisected the change to 4c55807
Issue checklist
- I searched for previous reports in the issue tracker
- I verified the problem still occurs when using the latest nightly build
- My report contains all necessary details