noahbackus/godot
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 2 Wiki Activity

Merge pull request #7740 from magyar123/master

Browse Source 
Add editor option for closing the output when stopping the game.
This commit is contained in:
Rémi Verschelde
2017-02-12 23:16:14 +01:00
committed by GitHub
parent 530de920d4 1bd1af776c
commit ceac8a780e
2 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
tools/editor/editor_node.cpp
View File

@@ -2603,6 +2603,14 @@ void EditorNode::_menu_option_confirm(int p_option,bool p_confirmed) {
play_custom_scene_button->set_pressed(false);
play_custom_scene_button->set_icon(gui_base->get_icon("PlayCustom","EditorIcons"));
//pause_button->set_pressed(false);
if (bool(EDITOR_DEF("run/output/always_close_output_on_stop", true))) {
for(int i=0;i<bottom_panel_items.size();i++) {
if (bottom_panel_items[i].control==log) {
_bottom_panel_switch(false,i);
break;
}
}
}
emit_signal("stop_pressed");
} break;