Merge pull request #36465 from YeldhamDev/debugger_top_margin

Remove extra margin in the top of the debugger
godotengine · Feb 22, 2020 · f2d8c4e · f2d8c4e
2 parents a7891b9 + 5c5a2b7
commit f2d8c4e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/editor/editor_themes.cpp b/editor/editor_themes.cpp
@@ -856,6 +856,7 @@ Ref<Theme> create_editor_theme(const Ref<Theme> p_theme) {
 	Ref<StyleBoxFlat> 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