1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-18 14:21:41 +00:00

Add editor option for automatically closing the output when stopping the game.

This commit is contained in:
mbalint12
2017-02-06 17:50:01 +01:00
parent af3fabeb77
commit 1bd1af776c
2 changed files with 9 additions and 0 deletions

View File

@@ -2599,6 +2599,14 @@ void EditorNode::_menu_option_confirm(int p_option,bool p_confirmed) {
play_custom_scene_button->set_pressed(false); play_custom_scene_button->set_pressed(false);
play_custom_scene_button->set_icon(gui_base->get_icon("PlayCustom","EditorIcons")); play_custom_scene_button->set_icon(gui_base->get_icon("PlayCustom","EditorIcons"));
//pause_button->set_pressed(false); //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"); emit_signal("stop_pressed");
} break; } break;

View File

@@ -655,6 +655,7 @@ void EditorSettings::_load_defaults(Ref<ConfigFile> p_extra_config) {
set("run/auto_save/save_before_running",true); set("run/auto_save/save_before_running",true);
set("run/output/always_clear_output_on_play",true); set("run/output/always_clear_output_on_play",true);
set("run/output/always_open_output_on_play",true); set("run/output/always_open_output_on_play",true);
set("run/output/always_close_output_on_stop",false);
set("filesystem/resources/save_compressed_resources",true); set("filesystem/resources/save_compressed_resources",true);
set("filesystem/resources/auto_reload_modified_images",true); set("filesystem/resources/auto_reload_modified_images",true);