Document marked as modified when reloaded
martinrotter opened this issue · 0 comments
martinrotter commented
How to reproduce the bug?
- Open file.
- Write some random stuff, file is now modified (orange warning icon in tabwidget).
- Reload file from disk.
What is the expected result?
File is not modified anymore.
What actually happened?
Reloaded file is still marked modified with icon.