diff options
| author | volzhs <volzhs@gmail.com> | 2017-09-07 06:25:57 +0900 |
|---|---|---|
| committer | volzhs <volzhs@gmail.com> | 2017-09-07 06:25:57 +0900 |
| commit | 41cc85fb201f2b83461a52300aeca9a2ac0b2bcc (patch) | |
| tree | 8269fc7ddc5fc844b0097dc9dc8be3a150a2d35e /editor/plugins | |
| parent | 0b8fa1e01068af9924742ade2625e021ccd2c5a8 (diff) | |
Fit script editor grid with others
Diffstat (limited to 'editor/plugins')
| -rw-r--r-- | editor/plugins/script_editor_plugin.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/editor/plugins/script_editor_plugin.cpp b/editor/plugins/script_editor_plugin.cpp index 04be1ba4ab..6f03d086ca 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() { |