diff options
| author | toger5 | 2017-09-02 03:25:40 +0200 |
|---|---|---|
| committer | toger5 | 2017-09-04 18:06:13 +0200 |
| commit | 45d57ccf288f1957bebdba428adc1090052f5522 (patch) | |
| tree | 5f16b1611b1147a5aaa863a98ef516a3b32797b8 /editor/editor_themes.cpp | |
| parent | e85f0257712f16447999b296ef97e33d4675f688 (diff) | |
| download | godot-45d57ccf288f1957bebdba428adc1090052f5522.tar.gz godot-45d57ccf288f1957bebdba428adc1090052f5522.tar.zst godot-45d57ccf288f1957bebdba428adc1090052f5522.zip | |
fixed hover line for menu button
Diffstat (limited to 'editor/editor_themes.cpp')
| -rw-r--r-- | editor/editor_themes.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/editor/editor_themes.cpp b/editor/editor_themes.cpp index 55e062b38..713e97534 100644 --- a/editor/editor_themes.cpp +++ b/editor/editor_themes.cpp @@ -303,12 +303,11 @@ Ref<Theme> create_editor_theme(const Ref<Theme> p_theme) { Ref<StyleBoxFlat> style_menu_hover_bg = make_flat_stylebox(dark_color_2, 4, 4, 4, 4); style_menu_hover_border->set_draw_center(false); - style_menu_hover_border->set_border_width(MARGIN_BOTTOM, border_width); + style_menu_hover_border->set_border_width(MARGIN_BOTTOM, 2 * EDSCALE); style_menu_hover_border->set_border_color_all(highlight_color); - style_menu_hover_border->set_expand_margin_size(MARGIN_BOTTOM, border_width); theme->set_stylebox("normal", "MenuButton", style_menu); - theme->set_stylebox("hover", "MenuButton", style_menu_hover_border); + theme->set_stylebox("hover", "MenuButton", style_menu); theme->set_stylebox("pressed", "MenuButton", style_menu); theme->set_stylebox("focus", "MenuButton", style_menu); theme->set_stylebox("disabled", "MenuButton", style_menu); |