diff options
| author | Michael Alexsander <michaelalexsander@protonmail.com> | 2020-02-22 18:41:22 -0300 |
|---|---|---|
| committer | Michael Alexsander <michaelalexsander@protonmail.com> | 2020-02-22 18:41:22 -0300 |
| commit | 5c5a2b747271f879353ba3835972b10c1ed199ca (patch) | |
| tree | 9886d21e670053defc5c3249930852d28d4cf09c | |
| parent | 9a55f1564c96baff19c5595aa3e1ea296f9bd260 (diff) | |
Remove extra margin in the top of the debugger
| -rw-r--r-- | editor/editor_themes.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
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<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 |