mirror of
https://github.com/godotengine/godot.git
synced 2025-10-26 11:14:17 +00:00
fixed double border for debugger tab panel
This commit is contained in:
parent
4ccf3bb2ed
commit
b37e869c89
2 changed files with 2 additions and 2 deletions
|
|
@ -1622,8 +1622,9 @@ ScriptEditorDebugger::ScriptEditorDebugger(EditorNode *p_editor) {
|
|||
tabs->add_style_override("panel", editor->get_gui_base()->get_stylebox("DebuggerPanel", "EditorStyles"));
|
||||
tabs->add_style_override("tab_fg", editor->get_gui_base()->get_stylebox("DebuggerTabFG", "EditorStyles"));
|
||||
tabs->add_style_override("tab_bg", editor->get_gui_base()->get_stylebox("DebuggerTabBG", "EditorStyles"));
|
||||
tabs->set_v_size_flags(SIZE_EXPAND_FILL);
|
||||
tabs->set_area_as_parent_rect();
|
||||
tabs->set_margin(MARGIN_LEFT, -EditorNode::get_singleton()->get_gui_base()->get_stylebox("panel", "TabContainer")->get_margin(MARGIN_LEFT));
|
||||
tabs->set_margin(MARGIN_RIGHT, EditorNode::get_singleton()->get_gui_base()->get_stylebox("panel", "TabContainer")->get_margin(MARGIN_LEFT));
|
||||
add_child(tabs);
|
||||
|
||||
{ //debugger
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue