mirror of
https://github.com/godotengine/godot.git
synced 2025-10-30 05:01:10 +00:00
Merge pull request #93972 from Hilderin/fix-editor-needs-restart-after-adding-gdextensions
Fix editor needs restart after adding GDExtensions
This commit is contained in:
commit
f0ee0bdd37
10 changed files with 196 additions and 65 deletions
|
|
@ -481,6 +481,9 @@ void EditorNode::_gdextensions_reloaded() {
|
|||
// In case the developer is inspecting an object that will be changed by the reload.
|
||||
InspectorDock::get_inspector_singleton()->update_tree();
|
||||
|
||||
// Reload script editor to revalidate GDScript if classes are added or removed.
|
||||
ScriptEditor::get_singleton()->reload_scripts(true);
|
||||
|
||||
// Regenerate documentation.
|
||||
EditorHelp::generate_doc();
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue