diff options
| author | Rémi Verschelde | 2017-09-18 08:12:51 +0200 |
|---|---|---|
| committer | GitHub | 2017-09-18 08:12:51 +0200 |
| commit | aa4694b7b4717d7b43e0fb9a037d07cd20ad14cd (patch) | |
| tree | fd6f166dfcf0d8456e68bdae11caa5cb45cf5971 /editor/script_editor_debugger.cpp | |
| parent | bc005a57d38137b062e0ccc26467353f53556930 (diff) | |
| parent | 4d140974392017f121384ac9ae9080a2b116f648 (diff) | |
| download | godot-aa4694b7b4717d7b43e0fb9a037d07cd20ad14cd.tar.gz godot-aa4694b7b4717d7b43e0fb9a037d07cd20ad14cd.tar.zst godot-aa4694b7b4717d7b43e0fb9a037d07cd20ad14cd.zip | |
Merge pull request #11382 from djrm/pr_fix_metrics
Fixed metrics.
Diffstat (limited to 'editor/script_editor_debugger.cpp')
| -rw-r--r-- | editor/script_editor_debugger.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/editor/script_editor_debugger.cpp b/editor/script_editor_debugger.cpp index 9a6449727..76e75cff0 100644 --- a/editor/script_editor_debugger.cpp +++ b/editor/script_editor_debugger.cpp @@ -1623,8 +1623,6 @@ ScriptEditorDebugger::ScriptEditorDebugger(EditorNode *p_editor) { 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_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 |