Why RED editor can not perceive file changed outside eclipse

[song-tao-cn]

Just like when I edit *.java files in Eclipse, if I changed the file outside Eclipse, it will ask me to refresh the editor's content.

But RED editor can not do this, if file changed outside, there is no refresh, and the file can not be saved.

[michalanglart]

I'm not sure if this is a general eclipse platform mechanism. If so then something is broken, otherwise it just have to be implemented in RED.

[KrzysztofJozefowicz]

For libraries outside of Workspace, when file is opened in RED and changed outside - editor is refreshed (the same with suite file),libdoc is also regfreshed if Build Automatically from Project menu is active and red.xml Automatically reload changed libraries is active (both are active by default).