mirror of
https://github.com/godotengine/godot.git
synced 2026-01-03 18:11:19 +03:00
Hide Search Results by default. Show it on first search and push it at the end. Add a close button to hide it back. Also switch to Script Editor if a searched line is clicked.
This commit is contained in:
@@ -496,6 +496,7 @@ class ScriptEditor : public PanelContainer {
|
||||
void _on_find_in_files_result_selected(const String &fpath, int line_number, int begin, int end);
|
||||
void _start_find_in_files(bool with_replace);
|
||||
void _on_find_in_files_modified_files(const PackedStringArray &paths);
|
||||
void _on_find_in_files_close_button_clicked();
|
||||
|
||||
void _set_zoom_factor(float p_zoom_factor);
|
||||
|
||||
|
||||
Reference in New Issue
Block a user