Mark unsaved project title with * (#5910)

* Mark unsaved project title with *
This commit is contained in:
Vovodroid 2024-06-29 17:13:57 +03:00 committed by GitHub
parent b47810435a
commit 5ff93fe103
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 35 additions and 3 deletions

View file

@ -654,6 +654,7 @@ public:
bool need_update() const;
void set_need_update(bool need_update);
void update_title_dirty_status();
// ROII wrapper for suppressing the Undo / Redo snapshot to be taken.
class SuppressSnapshots