|
@@ -1562,6 +1562,10 @@ void EditorNode::_edit_current() {
|
|
scene_tree_dock->set_selected(NULL);
|
|
scene_tree_dock->set_selected(NULL);
|
|
property_editor->edit( NULL );
|
|
property_editor->edit( NULL );
|
|
object_menu->set_disabled(true);
|
|
object_menu->set_disabled(true);
|
|
|
|
+
|
|
|
|
+ if (editor_plugin_over)
|
|
|
|
+ editor_plugin_over->make_visible(false);
|
|
|
|
+
|
|
return;
|
|
return;
|
|
}
|
|
}
|
|
|
|
|