It could be cool if Scripted had a "Refresh on access" feature, like Eclipse.
This would reload a file opened in an Editor if it was externally changed.
we have been toying with the right approach to support this. Right now there is no comms channel for the server to tell the client that it has old contents, but that will be coming in the not too distant future, when we start to add the infrastructure for multi-user editing. This approach feels preferable to the client constantly polling whether it has an up to date version.