gpui: The parent element flex_col and its child element flex_1 did not achieve the expected result

[zhangyuge6666]

Summary

div().h_full().bg(green_100()).flex_col().children([
div().h(px(50.)).bg(yellow_100()).child(format!("top")),
div().flex_1().bg(blue_100()).child(format!("bottom")),
])

The expected result should have filled in the remaining part, but it didn't.

Zed Version and System Specs

Zed Preview 0.208.4
f4b75a8

[smitbarmase]

You are missing .flex() on the parent div. You might as well want to use w_full() on it for the desired effect since flex would only take the width of its children. Happy tickering!

[zhangyuge6666]

OK, thank you. I thought flex_col() was a combination of display: flex and flex-direction: column. But actually, that's not the case.