Undo after external modification does not turn editor dirty

[bpasero]

Steps to Reproduce:

1. have a file open, not dirty
2. change it externally
3. ensure the update happened in the opened editor
4. press undo
   => file should be dirty but is not
5. press redo
   => file should be marked as saved again