1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-07 12:30:27 +00:00

Added "shader" filter to "Find in Files"

This commit is contained in:
Michael Alexsander Silva Dias
2018-10-27 12:24:41 -03:00
parent d4028a3f50
commit f6d137d3d0
5 changed files with 28 additions and 16 deletions

View File

@@ -120,6 +120,8 @@ public:
void ensure_select_current();
void edit(const Ref<Shader> &p_shader);
void goto_line_selection(int p_line, int p_begin, int p_end);
virtual Size2 get_minimum_size() const { return Size2(0, 200); }
void save_external_data();
@@ -143,6 +145,8 @@ public:
virtual void make_visible(bool p_visible);
virtual void selected_notify();
ShaderEditor *get_shader_editor() const { return shader_editor; }
virtual void save_external_data();
virtual void apply_changes();