From 5c5a2b747271f879353ba3835972b10c1ed199ca Mon Sep 17 00:00:00 2001 From: Michael Alexsander Date: Sat, 22 Feb 2020 18:41:22 -0300 Subject: Remove extra margin in the top of the debugger --- editor/editor_themes.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/editor/editor_themes.cpp b/editor/editor_themes.cpp index 2926a275f6..39d4b70a6a 100644 --- a/editor/editor_themes.cpp +++ b/editor/editor_themes.cpp @@ -856,6 +856,7 @@ Ref create_editor_theme(const Ref p_theme) { Ref style_panel_invisible_top = style_content_panel->duplicate(); int stylebox_offset = theme->get_font("tab_fg", "TabContainer")->get_height() + theme->get_stylebox("tab_fg", "TabContainer")->get_minimum_size().height + theme->get_stylebox("panel", "TabContainer")->get_default_margin(MARGIN_TOP); style_panel_invisible_top->set_expand_margin_size(MARGIN_TOP, -stylebox_offset); + style_panel_invisible_top->set_default_margin(MARGIN_TOP, 0); theme->set_stylebox("BottomPanelDebuggerOverride", "EditorStyles", style_panel_invisible_top); // LineEdit -- cgit v1.2.3