diff options
| author | Dominik 'dreamsComeTrue' Jasiński <dominikjasinski@o2.pl> | 2020-02-09 10:10:58 +0100 |
|---|---|---|
| committer | Dominik 'dreamsComeTrue' Jasiński <dominikjasinski@o2.pl> | 2020-02-13 23:45:05 +0100 |
| commit | 4c80beab444b2734c1c1ee04b480ca1551e7db94 (patch) | |
| tree | be99b77efdde46ab19f2bd1a43ad65b3561be051 /editor/plugins/script_text_editor.h | |
| parent | 3679d49f4b709fd56e872633ead73008bc3e1c43 (diff) | |
Added 'Replace in files' functionality to text editors
Fixes issue #31146
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, |