diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-12-07 15:11:32 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-07 15:11:32 +0100 |
commit | c2e96c65b375def81fc13e737d1be02093951c44 (patch) | |
tree | f793e781b8505d35a1382edb08a9ba2e5ac7a2cf /editor/plugins/shader_editor_plugin.h | |
parent | e4a2003b9860db00452e4a65f8cc55d7f525c463 (diff) | |
parent | f6d137d3d0cdf97f8ecd7b79fbeb1779684552a8 (diff) |
Merge pull request #23327 from YeldhamDev/search_shaders
Added "shader" filter to "Find in Files"
Diffstat (limited to 'editor/plugins/shader_editor_plugin.h')
-rw-r--r-- | editor/plugins/shader_editor_plugin.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/editor/plugins/shader_editor_plugin.h b/editor/plugins/shader_editor_plugin.h index 2ea1562310..46e3dffdd5 100644 --- a/editor/plugins/shader_editor_plugin.h +++ b/editor/plugins/shader_editor_plugin.h @@ -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(); |