Community

I couldn't find this one: it would be nice if, when a file being edited has been changed on disk by another application (modified by another process), that it would be highlighted in the document selector. This could perhaps be by colour, so the file name would go green if the edited version is not ...