diff options
Diffstat (limited to 'tools/editor/editor_run.h')
| -rw-r--r-- | tools/editor/editor_run.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/editor/editor_run.h b/tools/editor/editor_run.h index 5541cc84fa..e1b0b081c7 100644 --- a/tools/editor/editor_run.h +++ b/tools/editor/editor_run.h @@ -43,12 +43,22 @@ public: OS::ProcessID pid; private: + bool debug_collisions; + bool debug_navigation; Status status; public: Status get_status() const; Error run(const String& p_scene,const String p_custom_args,const List<String>& p_breakpoints,const String& p_edited_scene); + void run_native_notify() { status=STATUS_PLAY; } void stop(); + + void set_debug_collisions(bool p_debug); + bool get_debug_collisions() const; + + void set_debug_navigation(bool p_debug); + bool get_debug_navigation() const; + EditorRun(); }; |