diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-06-05 15:42:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-05 15:42:12 +0200 |
commit | d3afecf68139ad3c0f7504ff25fe1a97b61c65f1 (patch) | |
tree | 1103a4599c5ecbebfb126ebe3b4edfdc6435962d /editor/plugins/script_text_editor.h | |
parent | f09f1456b33430e86c409fe02470d9c2895e7c75 (diff) | |
parent | a4e222ae7106ec56db88f5a64bb72b5e4ba1e792 (diff) |
Merge pull request #8974 from Paulb23/script_overview
Added script overview
Diffstat (limited to 'editor/plugins/script_text_editor.h')
-rw-r--r-- | editor/plugins/script_text_editor.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editor/plugins/script_text_editor.h b/editor/plugins/script_text_editor.h index fdae03949c..ba40645161 100644 --- a/editor/plugins/script_text_editor.h +++ b/editor/plugins/script_text_editor.h @@ -149,6 +149,8 @@ public: virtual void add_callback(const String &p_function, PoolStringArray p_args); virtual void update_settings(); + virtual bool show_members_overview(); + virtual void set_tooltip_request_func(String p_method, Object *p_obj); virtual void set_debugger_active(bool p_active); |