godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-05 12:10:55 +00:00
Code Releases Wiki Activity

Merge pull request #8569 from volzhs/editor-theme-1

Browse Source 
Fix to use editor theme instead of handling each UI
This commit is contained in:
Rémi Verschelde
2017-05-02 11:28:52 +02:00
committed by GitHub
parent 6b769ac625 3223305e5a
commit a37364620f
5 changed files with 9 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
editor/plugins/script_editor_plugin.cpp
View File

@@ -2103,7 +2103,6 @@ ScriptEditor::ScriptEditor(EditorNode *p_editor) {
add_child(menu_hb);
script_split = memnew(HSplitContainer);
script_split->add_constant_override("separation", 8 * EDSCALE);
add_child(script_split);
script_split->set_v_size_flags(SIZE_EXPAND_FILL);