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/text_editor.h | |
parent | 3679d49f4b709fd56e872633ead73008bc3e1c43 (diff) | |
download | redot-engine-4c80beab444b2734c1c1ee04b480ca1551e7db94.tar.gz |
Added 'Replace in files' functionality to text editors
Fixes issue #31146
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 81896d92be..c976cd87f1 100644 --- a/editor/plugins/text_editor.h +++ b/editor/plugins/text_editor.h @@ -88,6 +88,7 @@ private: SEARCH_FIND_PREV, SEARCH_REPLACE, SEARCH_IN_FILES, + REPLACE_IN_FILES, SEARCH_GOTO_LINE, BOOKMARK_TOGGLE, BOOKMARK_GOTO_NEXT, |