From 3223305e5a6d3643c554081de336c3464cd99977 Mon Sep 17 00:00:00 2001
From: volzhs
Date: Fri, 28 Apr 2017 22:42:52 +0900
Subject: Fix to use editor theme instead of handling each UI

---
 editor/plugins/script_editor_plugin.cpp | 1 -
 1 file changed, 1 deletion(-)

(limited to 'editor/plugins/script_editor_plugin.cpp')

diff --git a/editor/plugins/script_editor_plugin.cpp b/editor/plugins/script_editor_plugin.cpp
index b029f8a3f..d72998f36 100644
--- a/editor/plugins/script_editor_plugin.cpp
+++ b/editor/plugins/script_editor_plugin.cpp
@@ -2024,7 +2024,6 @@ ScriptEditor::ScriptEditor(EditorNode *p_editor) {
 	add_child(menu_hb);
 
 	script_split = memnew(HSplitContainer);
-	script_split->add_constant_override("separation", 8 * EDSCALE);
 	add_child(script_split);
 	script_split->set_v_size_flags(SIZE_EXPAND_FILL);
 
-- 
cgit v1.2.3-70-g09d2