From 41cc85fb201f2b83461a52300aeca9a2ac0b2bcc Mon Sep 17 00:00:00 2001
From: volzhs <volzhs@gmail.com>
Date: Thu, 7 Sep 2017 06:25:57 +0900
Subject: [PATCH] Fit script editor grid with others

---
 editor/editor_themes.cpp                | 4 ++++
 editor/plugins/script_editor_plugin.cpp | 3 +++
 2 files changed, 7 insertions(+)

diff --git a/editor/editor_themes.cpp b/editor/editor_themes.cpp
index 19356aad3a5..ff0e794a203 100644
--- a/editor/editor_themes.cpp
+++ b/editor/editor_themes.cpp
@@ -295,6 +295,10 @@ Ref<Theme> create_editor_theme(const Ref<Theme> p_theme) {
 	theme->set_stylebox("panel", "PanelContainer", style_menu);
 	theme->set_stylebox("MenuPanel", "EditorStyles", style_menu);
 
+	// Script Editor
+	theme->set_stylebox("ScriptEditorPanel", "EditorStyles", make_empty_stylebox(4, 0, 4, 4));
+	theme->set_stylebox("ScriptEditor", "EditorStyles", make_empty_stylebox(0, 0, 0, 0));
+
 	// Play button group
 	theme->set_stylebox("PlayButtonPanel", "EditorStyles", make_empty_stylebox(8, 4, 8, 4)); //make_stylebox(theme->get_icon("GuiPlayButtonGroup", "EditorIcons"), 16, 16, 16, 16, 8, 4, 8, 4));
 
diff --git a/editor/plugins/script_editor_plugin.cpp b/editor/plugins/script_editor_plugin.cpp
index 04be1ba4abc..6f03d086ca3 100644
--- a/editor/plugins/script_editor_plugin.cpp
+++ b/editor/plugins/script_editor_plugin.cpp
@@ -2416,6 +2416,9 @@ ScriptEditor::ScriptEditor(EditorNode *p_editor) {
 	use_space_indentation = false;
 
 	ScriptServer::edit_request_func = _open_script_request;
+
+	add_style_override("panel", editor->get_gui_base()->get_stylebox("ScriptEditorPanel", "EditorStyles"));
+	tab_container->add_style_override("panel", editor->get_gui_base()->get_stylebox("ScriptEditor", "EditorStyles"));
 }
 
 ScriptEditor::~ScriptEditor() {