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.