zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-09-20 02:47:34 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix resizing for bottom dock

Browse Source 
We were not using `flex` on the `PaneGroup`, which caused the bottom
dock to be unable to satisfy the desired resize value.
This commit is contained in:
Antonio Scandurra 2023-12-22 18:00:03 +01:00
parent dd093477a3
commit 54e45306c5
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
crates/workspace2/src/pane_group.rs
View File

@ -242,6 +242,7 @@ impl Member {
div()
.relative()
.flex_1()
.size_full()
.child(pane.clone())
.when_some(leader_border, |this, color| {
@ -778,6 +779,9 @@ mod element {
cx: &mut ui::prelude::WindowContext,
) -> (gpui::LayoutId, Self::State) {
let mut style = Style::default();
style.flex_grow = 1.;
style.flex_shrink = 1.;
style.flex_basis = relative(0.).into();
style.size.width = relative(1.).into();
style.size.height = relative(1.).into();
let layout_id = cx.request_layout(&style, None);