diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-25 15:16:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-25 15:16:57 +0200 |
| commit | 23b2ca75c260a499bf4fd467158fb12621d04c30 (patch) | |
| tree | be61256f04370277249a1fdacf63b0ded4a5f483 /editor | |
| parent | 525b8fdab3f05a9d1d639febd10bd9e51ea0d0d1 (diff) | |
| parent | 7a3aaa69db4faf4bb7c506815b096ee7e859c280 (diff) | |
Merge pull request #22423 from Chaosus/fix_tooltip_border
Fix incorrect tooltip border
Diffstat (limited to 'editor')
| -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); |