GUI-based settings commands produce an empty interface #1031
Labels
conclusion: resolved
Issue was resolved
topic: code
Related to content of the project itself
type: imperfection
Perceived defect in any part of project
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
(Ctrl+Shift+P or Command+Shift+P by default)
🐛 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
The text was updated successfully, but these errors were encountered: