"Redo" could also remove asterisk next to file-name

When changing a saved file, an appears next to the file-name, indicating that the file has changed. Undoing this change removes the asterisk, since the text in the editor now reflects the text in the file.

The same logic could also apply to redo - priority really low but might be easy to implement :wink:

  1. Save a file
  2. Type one character (asterisk appears)
  3. Save again (asterisk disappears)
    4 Type another character (asterisk appears)
  4. Undo (asterisk disappears)
  5. Undo again(asterisk appears)
  6. Redo: Asterisk stays even though the editor content now matches with the saved file
  7. Redo and Undo again: Asterisk disappears as expected

I see. It has been logged.