diff options
| author | Pedro J. Estébanez | 2017-03-21 12:47:05 +0100 |
|---|---|---|
| committer | Pedro J. Estébanez | 2017-03-21 12:47:05 +0100 |
| commit | e1d18e64816325f852355a6e6d4eb3f8feead714 (patch) | |
| tree | 415f1ae94eee720ae5a9c3b58b1578900694fb52 /editor/editor_node.cpp | |
| parent | 9c75b9dddf18abf315f62caa6745daa05d4adbaf (diff) | |
| download | godot-e1d18e64816325f852355a6e6d4eb3f8feead714.tar.gz godot-e1d18e64816325f852355a6e6d4eb3f8feead714.tar.zst godot-e1d18e64816325f852355a6e6d4eb3f8feead714.zip | |
Add editor option for automatically closing the output when stopping the game
(back-ported from 1bd1af776c111f1efdd9a3b0259d8f916c052ef2)
Diffstat (limited to 'editor/editor_node.cpp')
| -rw-r--r-- | editor/editor_node.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/editor/editor_node.cpp b/editor/editor_node.cpp index e11778d61..e46a6c6cb 100644 --- a/editor/editor_node.cpp +++ b/editor/editor_node.cpp @@ -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_icon(gui_base->get_icon("PlayCustom", "EditorIcons")); //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"); } break; |