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 /editor/plugins/text_editor.h | |
parent | 6cea7ebae4721e05ea7013c6159a751f7498ea85 (diff) | |
parent | 16c2d4ef22a2928489934833bab06d5ea33bd90e (diff) |
Merge pull request #51775 from timothyqiu/disable-undo-redo
Improve Undo/Redo menu items
Diffstat (limited to 'editor/plugins/text_editor.h')
-rw-r--r-- | editor/plugins/text_editor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/plugins/text_editor.h b/editor/plugins/text_editor.h index 86a4910ac0..839e1c5f7a 100644 --- a/editor/plugins/text_editor.h +++ b/editor/plugins/text_editor.h @@ -92,6 +92,7 @@ protected: void _edit_option(int p_op); void _make_context_menu(bool p_selection, bool p_can_fold, bool p_is_folded, Vector2 p_position); void _text_edit_gui_input(const Ref<InputEvent> &ev); + void _prepare_edit_menu(); Map<String, Ref<EditorSyntaxHighlighter>> highlighters; void _change_syntax_highlighter(int p_idx); |