Dirty property should probably be set even when source doesn't change
|Reported by:||dinu||Owned by:|
If you changes to the document but it ends up unchanged (for example, type a letter then backspace), the editor is not "dirty". This goes against the usual editor implementations, which report being changed. From an interface POV, the data change detection should probably left for the outside application, and the editor should set itself "dirty" if user made any change at some point and it wasn't undone by the undo command. (In which case most editors understand to revert the "changed" flag). Obviously this is a very cosmetic change, just pointing it out for idealistic purposes.