From 7a3aaa69db4faf4bb7c506815b096ee7e859c280 Mon Sep 17 00:00:00 2001 From: Chaosus Date: Tue, 25 Sep 2018 13:57:30 +0300 Subject: Fix incorrect tooltip border --- editor/editor_themes.cpp | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'editor') 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 create_editor_theme(const Ref p_theme) { // TooltipPanel Ref 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); -- cgit v1.2.3