diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-05-14 10:30:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-14 10:30:31 +0200 |
| commit | e6cd0056a8d484d76f3aeeeed9604a4eded66a2a (patch) | |
| tree | d06434e2ceed5d7c8366b049740daf808ad73272 /editor/editor_node.h | |
| parent | 420e75f2779b63bdb63d92b7b682944fa5ac8059 (diff) | |
| parent | 2bae31a4df783de9fa3f6869f79bfe823c9d2664 (diff) | |
Merge pull request #48584 from Zami77/remove-plugin-from-enabled-if-error
Remove plugin from enabled plugins, if there is an error
Diffstat (limited to 'editor/editor_node.h')
| -rw-r--r-- | editor/editor_node.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/editor_node.h b/editor/editor_node.h index 07de183719..ec67a7c93a 100644 --- a/editor/editor_node.h +++ b/editor/editor_node.h @@ -460,6 +460,7 @@ private: void _update_file_menu_closed(); void _on_plugin_ready(Object *p_script, const String &p_activate_name); + void _remove_plugin_from_enabled(const String &p_name); void _fs_changed(); void _resources_reimported(const Vector<String> &p_resources); |