1
0
mirror of https://github.com/godotengine/godot.git synced 2025-12-06 17:25:19 +00:00

Added 'Replace in files' functionality to text editors

Fixes issue #31146
This commit is contained in:
Dominik 'dreamsComeTrue' Jasiński
2020-02-09 10:10:58 +01:00
parent 3679d49f4b
commit 4c80beab44
8 changed files with 120 additions and 3 deletions

View File

@@ -88,6 +88,7 @@ private:
SEARCH_FIND_PREV,
SEARCH_REPLACE,
SEARCH_IN_FILES,
REPLACE_IN_FILES,
SEARCH_GOTO_LINE,
BOOKMARK_TOGGLE,
BOOKMARK_GOTO_NEXT,