Skip to content

Document how to access the advanced settings #1367

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
3 tasks done
per1234 opened this issue Aug 30, 2022 · 0 comments · Fixed by #1407
Closed
3 tasks done

Document how to access the advanced settings #1367

per1234 opened this issue Aug 30, 2022 · 0 comments · Fixed by #1407
Assignees
Labels
conclusion: resolved Issue was resolved topic: documentation Related to documentation for the project type: enhancement Proposed improvement

Comments

@per1234
Copy link
Contributor

per1234 commented Aug 30, 2022

Describe the request

Document how to access the advanced settings.

Fortunately, the nice settings interface has integrated documentation for the settings themselves. So really all that is needed is instructions for opening the interface.

Since this is an advanced capability, I don't think it's necessary for the documentation to be hosted with the standard user documentation on arduino.cc. It would be fine for this documentation to be hosted in the arduino/arduino-ide repository. This has the added benefit of allowing the developers to update the file alongside code changes that require additions/changes to the documentation.

My recommendation is to create a dedicated file docs/advanced-usage.md, which will be scoped to documentation of all advanced features available to users of the application.

🙂 The advanced settings will be more accessible to those users who will find them useful.

Describe the current behavior

The Arduino project is about making embedded systems accessible to everyone without limiting what can be accomplished with the technology. This requires providing a gentle learning curve for beginners while also allowing advanced users to do advanced things.

The Arduino IDE's primary user interface provides everything that will be required for the average user to develop sketches.

The Arduino IDE has some additional capabilities which are only of interest to advanced users who want to do things such as fine tune the behavior of the application or temporarily expand log output while investigating a problem. In order to keep the primary interface clean and friendly, the controls for these settings are intentionally separated into an advanced settings interface. This approach allows more freedom in adding such capabilities.

🙁 There is no formal documentation of how to access the advanced settings interface.

Additional context

Arduino IDE 1.x's equivalent preferences.txt file is documented in Arduino IDE 1.x right in the File > Preferences dialog:

image

That is a reasonable approach, but the equivalent for Arduino IDE 2.x has already been evaluated and rejected: #209 (comment)

I think that simply providing instructions for opening the interface is sufficient.

Related

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
@per1234 per1234 added topic: documentation Related to documentation for the project type: enhancement Proposed improvement labels Aug 30, 2022
@per1234 per1234 self-assigned this Aug 30, 2022
@per1234 per1234 added the conclusion: resolved Issue was resolved label Sep 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: resolved Issue was resolved topic: documentation Related to documentation for the project type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant