diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2015-06-24 18:57:14 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2015-06-24 18:57:14 -0300 |
| commit | 29b2e811f6d775c07af68e466401aaf47314b679 (patch) | |
| tree | 34322df3d19f0fa7fa2a097259b26903100d054c /tools/editor/plugins/script_editor_plugin.h | |
| parent | b4190ed2b9d74bbe23bb3802abb1524ee2d5eff7 (diff) | |
added a tiny bit more space to docks and script tab
Diffstat (limited to 'tools/editor/plugins/script_editor_plugin.h')
| -rw-r--r-- | tools/editor/plugins/script_editor_plugin.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/editor/plugins/script_editor_plugin.h b/tools/editor/plugins/script_editor_plugin.h index 635db40c2f..74a7d7e3e5 100644 --- a/tools/editor/plugins/script_editor_plugin.h +++ b/tools/editor/plugins/script_editor_plugin.h @@ -33,6 +33,7 @@ #include "scene/gui/tab_container.h" #include "scene/gui/text_edit.h" #include "scene/gui/menu_button.h" +#include "scene/gui/tool_button.h" #include "scene/gui/tree.h" #include "scene/main/timer.h" #include "script_language.h" @@ -165,6 +166,7 @@ class ScriptEditor : public VBoxContainer { GotoLineDialog *goto_line_dialog; ConfirmationDialog *erase_tab_confirm; ScriptEditorDebugger* debugger; + ToolButton *scripts_visible; void _tab_changed(int p_which); void _menu_option(int p_optin); |