diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-14 20:30:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-14 20:30:53 +0100 |
| commit | 710d8298868259afc8eb06d19f5f362f70f6b5bc (patch) | |
| tree | 1ce33e4950fd5bc2eadd71040330702b6f94faf0 /editor/plugins/script_text_editor.h | |
| parent | ca877916880cfd5544640d5ba115ee250ad58d8e (diff) | |
| parent | 4c80beab444b2734c1c1ee04b480ca1551e7db94 (diff) | |
Merge pull request #36044 from dreamsComeTrue/fix-replace-all-shortcut
Added 'Replace in files' functionality to text editors
Diffstat (limited to 'editor/plugins/script_text_editor.h')
| -rw-r--r-- | editor/plugins/script_text_editor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/plugins/script_text_editor.h b/editor/plugins/script_text_editor.h index 39c9d519eb..359f0b0019 100644 --- a/editor/plugins/script_text_editor.h +++ b/editor/plugins/script_text_editor.h @@ -133,6 +133,7 @@ class ScriptTextEditor : public ScriptEditorBase { SEARCH_LOCATE_FUNCTION, SEARCH_GOTO_LINE, SEARCH_IN_FILES, + REPLACE_IN_FILES, BOOKMARK_TOGGLE, BOOKMARK_GOTO_NEXT, BOOKMARK_GOTO_PREV, |