mirror of
https://github.com/godotengine/godot.git
synced 2024-12-03 09:52:18 +08:00
Merge pull request #91126 from dsnopek/fix-gdextension-docs-on-reload
Fix GDExtension documentation disappearing after hot-reload
This commit is contained in:
commit
d015a74a7b
@ -456,6 +456,9 @@ void EditorNode::_update_from_settings() {
|
||||
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();
|
||||
|
||||
// Regenerate documentation.
|
||||
EditorHelp::generate_doc();
|
||||
}
|
||||
|
||||
void EditorNode::_select_default_main_screen_plugin() {
|
||||
|
Loading…
Reference in New Issue
Block a user