gaming/godot
gaming/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot synced 2024-09-15 23:46:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix crash when disabling main screen plugin

Browse source
This commit is contained in:
George Marques 2016-09-21 19:17:55 -03:00
parent 2f776af2e6
commit 0ec2b7baea
No known key found for this signature in database
GPG key ID: 046BD46A3201E43D
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
tools/editor/editor_node.cpp
View file

@ -3018,6 +3018,10 @@ void EditorNode::remove_editor_plugin(EditorPlugin *p_editor) {
if (p_editor->get_name()==singleton->main_editor_buttons[i]->get_text()) {
if (singleton->main_editor_buttons[i]->is_pressed()) {
singleton->_editor_select(EDITOR_SCRIPT);
}
memdelete( singleton->main_editor_buttons[i] );
singleton->main_editor_buttons.remove(i);