diff options
author | Juan Linietsky <reduzio@gmail.com> | 2015-11-19 19:32:24 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2015-11-19 19:32:24 -0300 |
commit | 2b1a482612e594e472c12d4dec171f124d45a621 (patch) | |
tree | d8b372b024491d0a72ade831fa525f10a0ece2d5 /tools | |
parent | 43ce972ddb60b8de684cb1e7a023bc070afd90db (diff) | |
parent | 5ee443bcc001f04fa22509eae59d90b27b43b994 (diff) |
Merge pull request #2837 from AlexHolly/fix-restart-on-running
fix with refactoring, refresh re-run icon
Diffstat (limited to 'tools')
-rw-r--r-- | tools/editor/editor_node.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tools/editor/editor_node.cpp b/tools/editor/editor_node.cpp index 5b9489992a..22acfd4d07 100644 --- a/tools/editor/editor_node.cpp +++ b/tools/editor/editor_node.cpp @@ -3817,9 +3817,7 @@ void EditorNode::_quick_run(const String& p_resource) { void EditorNode::notify_child_process_exited() { - play_button->set_pressed(false); - play_scene_button->set_pressed(false); - //pause_button->set_pressed(false); + _menu_option_confirm(RUN_STOP,false); stop_button->set_pressed(false); editor_run.stop(); |