diff options
| author | George Marques | 2018-01-30 20:11:07 -0200 |
|---|---|---|
| committer | Hein-Pieter van Braam | 2018-02-04 20:05:12 +0100 |
| commit | 0a75a38db4bb8bd7784c410b5edab4877b9332db (patch) | |
| tree | de67c5a4f2426da15824859289422074eb3ac972 /editor/editor_plugin.h | |
| parent | 845f44b9766ca637a222c3aa0185af1dfafb5d4e (diff) | |
| download | godot-0a75a38db4bb8bd7784c410b5edab4877b9332db.tar.gz godot-0a75a38db4bb8bd7784c410b5edab4877b9332db.tar.zst godot-0a75a38db4bb8bd7784c410b5edab4877b9332db.zip | |
Add interface for plugins to enable/disable other plugins
(cherry picked from commit 87be0bc1101d7cf52ca40c5b3b7fc87b785edfb1)
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 145dccc2d..3d585120c 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); |