mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-11 04:36:24 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 11

Fix resizing for bottom dock (#3787)

Browse source 
We were not using `flex` on the `PaneGroup`, which caused the bottom
dock to be unable to satisfy the desired resize value.

Release Notes:

- N/A
This commit is contained in:
Antonio Scandurra 2023-12-22 18:10:50 +01:00 committed by GitHub
commit 87ff5f04cb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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() div()
.relative() .relative()
.flex_1()
.size_full() .size_full()
.child(pane.clone()) .child(pane.clone())
.when_some(leader_border, |this, color| { .when_some(leader_border, |this, color| {
@ -778,6 +779,9 @@ mod element {
cx: &mut ui::prelude::WindowContext, cx: &mut ui::prelude::WindowContext,
) -> (gpui::LayoutId, Self::State) { ) -> (gpui::LayoutId, Self::State) {
let mut style = Style::default(); 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.width = relative(1.).into();
style.size.height = relative(1.).into(); style.size.height = relative(1.).into();
let layout_id = cx.request_layout(&style, None); let layout_id = cx.request_layout(&style, None);