You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-20 14:45:44 +00:00
added a tiny bit more space to docks and script tab
This commit is contained in:
@@ -4274,7 +4274,7 @@ EditorNode::EditorNode() {
|
||||
//dock_select_popoup->set_(Size2(20,20));
|
||||
|
||||
for(int i=0;i<DOCK_SLOT_MAX;i++) {
|
||||
dock_slot[i]->set_custom_minimum_size(Size2(250,250));
|
||||
dock_slot[i]->set_custom_minimum_size(Size2(230,220));
|
||||
dock_slot[i]->set_v_size_flags(Control::SIZE_EXPAND_FILL);
|
||||
dock_slot[i]->set_popup(dock_select_popoup);
|
||||
dock_slot[i]->connect("pre_popup_pressed",this,"_dock_pre_popup",varray(i));
|
||||
|
||||
Reference in New Issue
Block a user