godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2026-01-06 10:11:57 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'master' of https://github.com/godotengine/godot

Browse Source
This commit is contained in:
Juan Linietsky
2015-12-12 10:14:13 -03:00
parent cd4c3f4d12 c3db5d951c
commit a2d817405e
3 changed files with 19 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/editor/script_editor_debugger.h
View File

@@ -81,6 +81,7 @@ class ScriptEditorDebugger : public Control {
TabContainer *tabs;
Label *reason;
bool always_visible;
bool log_forced_visible;
ScriptEditorDebuggerVariables *variables;
@@ -186,7 +187,6 @@ public:
void set_hide_on_stop(bool p_hide);
virtual Size2 get_minimum_size() const;
ScriptEditorDebugger(EditorNode *p_editor=NULL);
~ScriptEditorDebugger();