You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-05 12:10:55 +00:00
Merge pull request #14827 from RayKoopa/editor_patchwork
Some Editor UI patchwork
This commit is contained in:
@@ -2582,8 +2582,8 @@ ScriptEditor::ScriptEditor(EditorNode *p_editor) {
|
||||
|
||||
tab_container = memnew(TabContainer);
|
||||
tab_container->set_tabs_visible(false);
|
||||
tab_container->set_custom_minimum_size(Size2(200 * EDSCALE, 0));
|
||||
script_split->add_child(tab_container);
|
||||
|
||||
tab_container->set_h_size_flags(SIZE_EXPAND_FILL);
|
||||
|
||||
ED_SHORTCUT("script_editor/window_sort", TTR("Sort"));
|
||||
|
||||
Reference in New Issue
Block a user