You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-17 14:11:06 +00:00
Add editor option for automatically closing the output when stopping the game
(back-ported from 1bd1af776c)
This commit is contained in:
@@ -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;
|
||||
|
||||
Reference in New Issue
Block a user