Update files when we use an external editor

[ParksProjets]

The Arduino IDE have an option to be use with an external editor but files are not updated: to debug, we are obliged to close and re-open files.

[ZennonDamant]

x2!

Totally agree.

I was so glad to see the "Use External Editor" option so was actually quite surprised that it wasn't updating the file when it was changed externally (as that's exactly what I thought that option would do)

[ZennonDamant]

Actually.... I just found out that clicking Verify causes the file to reload - so not perfect but much better than having to close and reopen the file everytime!

[BrentWilkins]

I agree that it works. If you make a change, the new version will be compiled. As @ZenN0N said, it would be nice if it auto-refreshed, but I wouldn't necessarily call it an issue.

[ffissore]

Fixed. Fix will be available with next hourly build http://www.arduino.cc/en/Main/Software#hourly