You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Note that there is an existing pull request that will do what you are requesting, except without the prompt: #6074
Also note that the Arduino IDE does already update according to outside edits if you have File > Preferences > Use External Editor checked. The only limitation is this makes the Arduino IDE's editor window read-only, so you can't edit the sketch using both the external editor and the Arduino IDE.
Activity
per1234 commentedon Aug 23, 2019
I'm going to close this as a duplicate of #4551
Note that there is an existing pull request that will do what you are requesting, except without the prompt:
#6074
Also note that the Arduino IDE does already update according to outside edits if you have File > Preferences > Use External Editor checked. The only limitation is this makes the Arduino IDE's editor window read-only, so you can't edit the sketch using both the external editor and the Arduino IDE.