Possible to add a "Refresh" or "Reload from Disk" option in toolbar?

When editing outside of the IDE it would prevent having to close/re-open the Sketch since the IDE doesn't prompt to reload a file when it notices a change (like Notepad++ would).

Start by tracing the Arduino IDE toolbar actions and how a Sketch notices edits made outside the IDE. Determine where a Refresh or Reload from Disk action would fit; done means an open Sketch can reload its disk contents without closing and reopening it.

Written by the indexing model from the issue text.