diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2021-08-17 19:09:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-17 19:09:56 +0200 |
commit | 273d1ca9329aaa849e18f4d3a1f3f461d54dbb41 (patch) | |
tree | 2cd6f932eafd4e493f9f9bcc092ca49106e2507b /scene/gui/text_edit.h | |
parent | 6cea7ebae4721e05ea7013c6159a751f7498ea85 (diff) | |
parent | 16c2d4ef22a2928489934833bab06d5ea33bd90e (diff) |
Merge pull request #51775 from timothyqiu/disable-undo-redo
Improve Undo/Redo menu items
Diffstat (limited to 'scene/gui/text_edit.h')
-rw-r--r-- | scene/gui/text_edit.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scene/gui/text_edit.h b/scene/gui/text_edit.h index da322a7bcd..69468978ab 100644 --- a/scene/gui/text_edit.h +++ b/scene/gui/text_edit.h @@ -659,6 +659,8 @@ public: void begin_complex_operation(); void end_complex_operation(); + bool has_undo() const; + bool has_redo() const; void undo(); void redo(); void clear_undo_history(); |