From 6e300a0c491d0733d4b444c8eff0933a2e51217d Mon Sep 17 00:00:00 2001 From: Michael Alexsander Date: Sat, 22 Feb 2020 18:41:22 -0300 Subject: [PATCH] Remove extra margin in the top of the debugger (cherry picked from commit 5c5a2b747271f879353ba3835972b10c1ed199ca) --- editor/editor_themes.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/editor/editor_themes.cpp b/editor/editor_themes.cpp index 8037045e773..4fd44ebb4cc 100644 --- a/editor/editor_themes.cpp +++ b/editor/editor_themes.cpp @@ -855,6 +855,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