diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2017-04-28 10:01:04 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-28 10:01:04 +0200 |
commit | 2153feb6fd8cc328191c92b43818624a6fa6c27e (patch) | |
tree | 699eee6aab35309955e571a48701a98665dea34b /editor/plugins/script_editor_plugin.cpp | |
parent | 5f15f03d38ed712d33f41ceb5bc812acf818a184 (diff) | |
parent | be454ba2d6e0f91aba61dc6ef47bbeca898f1a6a (diff) | |
download | redot-engine-2153feb6fd8cc328191c92b43818624a6fa6c27e.tar.gz |
Merge pull request #8564 from volzhs/editor-theme
Update editor theme
Diffstat (limited to 'editor/plugins/script_editor_plugin.cpp')
-rw-r--r-- | editor/plugins/script_editor_plugin.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editor/plugins/script_editor_plugin.cpp b/editor/plugins/script_editor_plugin.cpp index 91e3170e32..b029f8a3fe 100644 --- a/editor/plugins/script_editor_plugin.cpp +++ b/editor/plugins/script_editor_plugin.cpp @@ -2024,6 +2024,7 @@ 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); @@ -2033,6 +2034,7 @@ ScriptEditor::ScriptEditor(EditorNode *p_editor) { script_split->set_split_offset(140); tab_container = memnew(TabContainer); + tab_container->add_style_override("panel", p_editor->get_gui_base()->get_stylebox("EditorBG", "EditorStyles")); tab_container->set_tabs_visible(false); script_split->add_child(tab_container); |