diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-08-23 00:05:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-23 00:05:27 +0200 |
| commit | 172519bec6499d2d7b52875c1bfb685c7df2278f (patch) | |
| tree | fb92ae25c7eb7a1405c7805cc2053dba7786a5f1 /editor | |
| parent | 7ed95828894621565e0dd289ea856426ca72e344 (diff) | |
| parent | 1f90f5ed4c767271df9fbbad01594db172f34f3c (diff) | |
Merge pull request #10551 from djrm/pr_editor_fixes
Do not use old styles for tab buttons
[ci skip]
Diffstat (limited to 'editor')
| -rw-r--r-- | editor/editor_themes.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editor/editor_themes.cpp b/editor/editor_themes.cpp index 4f1e6c1771..f628a23d5f 100644 --- a/editor/editor_themes.cpp +++ b/editor/editor_themes.cpp @@ -411,6 +411,8 @@ Ref<Theme> create_editor_theme(const Ref<Theme> p_theme) { theme->set_stylebox("SceneTabFG", "EditorStyles", make_flat_stylebox(title_color_hl, 10, 5, 10, 5)); theme->set_stylebox("SceneTabBG", "EditorStyles", make_empty_stylebox(6, 5, 6, 5)); theme->set_icon("close", "Tabs", theme->get_icon("GuiClose", "EditorIcons")); + theme->set_stylebox("button_pressed", "Tabs", style_menu); + theme->set_stylebox("button", "Tabs", style_menu); // Separators (no separators) theme->set_stylebox("separator", "HSeparator", make_line_stylebox(separator_color, border_width)); |