Allow editing of libraries, the core, and the toolchain from the Editor

[JM-FRANCE]

Describe the request

Add an option to overrule the read-only mode for editor tabs of files from outside the sketch.

Describe the current behavior

Files from outside the sketch folder (libraries, core, toolchain) can be opened in the Arduino IDE editor via features such as "Go to definition..." and "Peek definition".

The IDE makes these editor tabs "read-only". This is done to protect beginners from inadvertently modifying key files which could lead to unplanned and hard to debug consequences outside their current project. So this is good.

🙁 But this also prevents advanced users from debugging libraries on the spot (fix warnings etc) and they need to use a separate editors for those files making the workflow less seamless.

Arduino IDE version

Original report

2.0.0-rc3

Last verified with

73b6dc4

Operating system

All

Operating system version

Any

Additional context

Additional requests

• Allow editing of libraries, the core, and the toolchain from the Editor #743 (comment)
• Allow editing of libraries, the core, and the toolchain from the Editor #743 (comment)
• Allow editing of libraries, the core, and the toolchain from the Editor #743 (comment)
• Allow editing of libraries, the core, and the toolchain from the Editor #743 (comment)
• Files from outside of sketch are treated as read-only #2507
• https://forum.arduino.cc/t/cannot-edit-in-read-only-editor/942827

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