From 29b2e811f6d775c07af68e466401aaf47314b679 Mon Sep 17 00:00:00 2001
From: Juan Linietsky
Date: Wed, 24 Jun 2015 18:57:14 -0300
Subject: added a tiny bit more space to docks and script tab

---
 tools/editor/plugins/script_editor_plugin.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'tools/editor/plugins/script_editor_plugin.h')

diff --git a/tools/editor/plugins/script_editor_plugin.h b/tools/editor/plugins/script_editor_plugin.h
index 635db40c2..74a7d7e3e 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);
-- 
cgit v1.2.3-70-g09d2