Detect external changes

[evaarnas]

In the Arduino IDE it would be useful, if it would detect external change(s) to the file(s) open for editing. Then the user could select whether to save the contents of the editor or reload from disk, or even merge the contents.

[per1234]

Closing as duplicate of #4551

This feature is already in the works (though without the confirmation you suggested) here: #6074

[per1234]

FYI, this feature is already available in the beta build of the Arduino IDE if you want to try it out:
https://www.arduino.cc/en/Main/Software#beta

[evaarnas]

It seems to work, unless I have _unsaved_ changes in the Arduino IDE. That is, for "clean" files (all changes saved) it detects the external changes, but not for "dirty" files (with unsaved changes in the Arduino IDE).

…

On Mon, 13 Jan 2020 at 15:33, per1234 ***@***.***> wrote: FYI, this feature is already available in the beta build of the Arduino IDE if you want to try it out: https://www.arduino.cc/en/Main/Software#beta — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#9616?email_source=notifications&email_token=AAMXFZNVFYSVGBNPBBJPTZDQ5RURNA5CNFSM4KGB2OC2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEIYW6FQ#issuecomment-573665046>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAMXFZKNMZDLY7EMC4UPDGTQ5RURNANCNFSM4KGB2OCQ> .