1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-15 13:51:40 +00:00

Add "Find in Files..." to the text editor

This commit is contained in:
Michael Alexsander Silva Dias
2019-08-09 18:55:01 -03:00
parent 2b11594766
commit 3d86ef74e7
4 changed files with 14 additions and 3 deletions

View File

@@ -87,6 +87,7 @@ private:
SEARCH_FIND_NEXT,
SEARCH_FIND_PREV,
SEARCH_REPLACE,
SEARCH_IN_FILES,
SEARCH_GOTO_LINE,
BOOKMARK_TOGGLE,
BOOKMARK_GOTO_NEXT,