diff options
| author | Chaosus <chaosus89@gmail.com> | 2018-09-25 13:57:30 +0300 |
|---|---|---|
| committer | Chaosus <chaosus89@gmail.com> | 2018-09-25 14:18:25 +0300 |
| commit | 7a3aaa69db4faf4bb7c506815b096ee7e859c280 (patch) | |
| tree | ca7f6f836b6d7e0fa2dc0de4066dd262a1c36d38 | |
| parent | c432ce4ee15fc396b2bccbbe2661b5bd34b9bee1 (diff) | |
Fix incorrect tooltip border
| -rw-r--r-- | editor/editor_themes.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/editor/editor_themes.cpp b/editor/editor_themes.cpp index 7ed7b920d9..6dfd5ef573 100644 --- a/editor/editor_themes.cpp +++ b/editor/editor_themes.cpp @@ -945,6 +945,11 @@ Ref<Theme> create_editor_theme(const Ref<Theme> p_theme) { // TooltipPanel Ref<StyleBoxFlat> style_tooltip = style_popup->duplicate(); + float v = MAX(border_size * EDSCALE, 1.0); + style_tooltip->set_default_margin(MARGIN_LEFT, v); + style_tooltip->set_default_margin(MARGIN_TOP, v); + style_tooltip->set_default_margin(MARGIN_RIGHT, v); + style_tooltip->set_default_margin(MARGIN_BOTTOM, v); style_tooltip->set_bg_color(Color(mono_color.r, mono_color.g, mono_color.b, 0.9)); style_tooltip->set_border_width_all(border_width); style_tooltip->set_border_color_all(mono_color); |