From 1bd1af776c111f1efdd9a3b0259d8f916c052ef2 Mon Sep 17 00:00:00 2001
From: mbalint12
Date: Mon, 6 Feb 2017 17:50:01 +0100
Subject: Add editor option for automatically closing the output when stopping
 the game.

---
 tools/editor/editor_node.cpp | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'tools/editor/editor_node.cpp')

diff --git a/tools/editor/editor_node.cpp b/tools/editor/editor_node.cpp
index f8540e3c6..a31d62372 100644
--- a/tools/editor/editor_node.cpp
+++ b/tools/editor/editor_node.cpp
@@ -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_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;
-- 
cgit v1.3