1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-24 15:26:15 +00:00

Merge pull request #31347 from neikeq/monodevelop-addin

C#: Add Ide Connection library and server for the editor
This commit is contained in:
Rémi Verschelde
2019-08-14 11:39:41 +02:00
committed by GitHub
44 changed files with 1636 additions and 239 deletions

View File

@@ -4366,6 +4366,15 @@ bool EditorNode::ensure_main_scene(bool p_from_native) {
return true;
}
void EditorNode::run_play() {
_menu_option_confirm(RUN_STOP, true);
_run(false);
}
void EditorNode::run_stop() {
_menu_option_confirm(RUN_STOP, false);
}
int EditorNode::get_current_tab() {
return scene_tabs->get_current_tab();
}