diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-31 17:22:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-31 17:22:00 +0100 |
| commit | b06262539cbfe4afc441f9be74332c50f2938ad7 (patch) | |
| tree | 166879c1e9a3c990d98340b667c641cfc62d2f05 /editor/editor_plugin.h | |
| parent | 20a52aa39db9a6e35738ee486848bd3dd28510cb (diff) | |
| parent | 87be0bc1101d7cf52ca40c5b3b7fc87b785edfb1 (diff) | |
Merge pull request #16212 from vnen/code-enable-plugin
Add interface for plugins to enable/disable other plugins
Diffstat (limited to 'editor/editor_plugin.h')
| -rw-r--r-- | editor/editor_plugin.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/editor/editor_plugin.h b/editor/editor_plugin.h index 145dccc2d5..3d585120c0 100644 --- a/editor/editor_plugin.h +++ b/editor/editor_plugin.h @@ -90,6 +90,9 @@ public: Control *get_base_control(); + void set_plugin_enabled(const String &p_plugin, bool p_enabled); + bool is_plugin_enabled(const String &p_plugin) const; + Error save_scene(); void save_scene_as(const String &p_scene, bool p_with_preview = true); |