diff options
| author | Juan Linietsky | 2015-12-12 10:09:50 -0300 |
|---|---|---|
| committer | Juan Linietsky | 2015-12-12 10:09:50 -0300 |
| commit | cd4c3f4d12d91eb23773991f1d2a0895c078a751 (patch) | |
| tree | 2300712dd92e7ac8e97294ce3bd01e6088fa44ee /tools/editor/script_editor_debugger.h | |
| parent | e2e6f3ec00bc0d84f73d518017a5c16f21838550 (diff) | |
| download | godot-cd4c3f4d12d91eb23773991f1d2a0895c078a751.tar.gz godot-cd4c3f4d12d91eb23773991f1d2a0895c078a751.tar.zst godot-cd4c3f4d12d91eb23773991f1d2a0895c078a751.zip | |
-added option to keep debugger open, fixes #3031
Diffstat (limited to '')
| -rw-r--r-- | tools/editor/script_editor_debugger.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/editor/script_editor_debugger.h b/tools/editor/script_editor_debugger.h index 6b66a62dd..fc44540cc 100644 --- a/tools/editor/script_editor_debugger.h +++ b/tools/editor/script_editor_debugger.h @@ -71,6 +71,8 @@ class ScriptEditorDebugger : public Control { int error_count; int last_error_count; + bool hide_on_stop; + TextureButton *tb; @@ -182,6 +184,8 @@ public: void update_live_edit_root(); + void set_hide_on_stop(bool p_hide); + virtual Size2 get_minimum_size() const; ScriptEditorDebugger(EditorNode *p_editor=NULL); |