diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-22 23:16:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-22 23:16:27 +0100 |
| commit | f2d8c4eb8b3ecb0f62046e40cc76973e8cccc0fd (patch) | |
| tree | 764f41c414da9653dc7dd45a9a52f2699e5dbd8c | |
| parent | a7891b9d120e1cb49bcdcffc1107f692ed481d86 (diff) | |
| parent | 5c5a2b747271f879353ba3835972b10c1ed199ca (diff) | |
Merge pull request #36465 from YeldhamDev/debugger_top_margin
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 |