Editor Plugin: Save modified document

This commit is contained in:
Jakub Melka
2024-05-26 20:12:44 +02:00
parent 17b275c8b1
commit d83689cddb
9 changed files with 203 additions and 0 deletions

View File

@ -427,6 +427,8 @@ public:
/// Removes null objects from dictionary
void removeNullObjects();
bool isEmpty() const { return getCount() == 0; }
/// Optimizes the dictionary for memory consumption
virtual void optimize() override;