godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-17 14:11:06 +00:00
Code Releases Wiki Activity

Merge pull request #8099 from RandomShaper/close-output-2.1

Browse Source 
Add editor option for automatically closing the output when stopping the game (2.1)
This commit is contained in:
Rémi Verschelde
2017-03-24 22:50:02 +01:00
committed by GitHub
parent 492f6e06c0 e1d18e6481
commit 2c95976ef7
2 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
editor/editor_node.cpp
View File

@@ -2546,6 +2546,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/always_close_output_on_stop", false))) {
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;

2
editor/editor_settings.cpp
View File

@@ -641,6 +641,8 @@ void EditorSettings::_load_defaults(Ref<ConfigFile> p_extra_config) {
set("resources/save_compressed_resources", true); set("resources/save_compressed_resources", true);
set("resources/auto_reload_modified_images", true); set("resources/auto_reload_modified_images", true);
set("run/always_close_output_on_stop", false);
set("import/automatic_reimport_on_sources_changed", true); set("import/automatic_reimport_on_sources_changed", true);
if (p_extra_config.is_valid()) { if (p_extra_config.is_valid()) {