diff options
| author | Daniel J. Ramirez <djrmuv@gmail.com> | 2017-08-18 21:34:09 -0500 |
|---|---|---|
| committer | Daniel J. Ramirez <djrmuv@gmail.com> | 2017-08-20 13:53:09 -0500 |
| commit | c873661c307eb05dedf2ff07f3cf18e614ba72ec (patch) | |
| tree | c9413633f80baf1139f84e32d9f8ed2fd0190390 /editor/editor_node.cpp | |
| parent | da8fecf25e11ea05ad6aaab4f9676c78e4faecdc (diff) | |
| download | redot-engine-c873661c307eb05dedf2ff07f3cf18e614ba72ec.tar.gz | |
Added pure vector theme, with dark icons variation
Diffstat (limited to 'editor/editor_node.cpp')
| -rw-r--r-- | editor/editor_node.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editor/editor_node.cpp b/editor/editor_node.cpp index 9150e6a9bb..9e34c1872c 100644 --- a/editor/editor_node.cpp +++ b/editor/editor_node.cpp @@ -336,7 +336,7 @@ void EditorNode::_notification(int p_what) { if (p_what == EditorSettings::NOTIFICATION_EDITOR_SETTINGS_CHANGED) { scene_tabs->set_tab_close_display_policy((bool(EDITOR_DEF("interface/always_show_close_button_in_scene_tabs", false)) ? Tabs::CLOSE_BUTTON_SHOW_ALWAYS : Tabs::CLOSE_BUTTON_SHOW_ACTIVE_ONLY)); property_editor->set_enable_capitalize_paths(bool(EDITOR_DEF("interface/capitalize_properties", true))); - Ref<Theme> theme = create_editor_theme(); + Ref<Theme> theme = create_editor_theme(theme_base->get_theme()); theme_base->set_theme(theme); gui_base->add_style_override("panel", gui_base->get_stylebox("Background", "EditorStyles")); play_button_panel->add_style_override("panel", gui_base->get_stylebox("PlayButtonPanel", "EditorStyles")); @@ -5242,7 +5242,7 @@ EditorNode::EditorNode() { main_vbox = memnew(VBoxContainer); gui_base->add_child(main_vbox); main_vbox->set_area_as_parent_rect(8); - main_vbox->set_margin(MARGIN_TOP, 5); + main_vbox->set_margin(MARGIN_TOP, 5 * EDSCALE); menu_hb = memnew(HBoxContainer); main_vbox->add_child(menu_hb); |