Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add a Flexible element that works like in Flutter

Browse source
This commit is contained in:
Antonio Scandurra 2021-09-03 11:40:18 +02:00
parent ec36d818c0
commit a0dd41cdf6
4 changed files with 143 additions and 35 deletions
Download patch file Download diff file Expand all files Collapse all files

4
zed/src/workspace.rs
View file

@ -964,13 +964,13 @@ impl View for Workspace {
if let Some(element) =
self.left_sidebar.render_active_item(&settings, cx)
{
content.add_child(element);
content.add_child(Flexible::new(0.8, element).boxed());
}
content.add_child(Expanded::new(1.0, self.center.render()).boxed());
if let Some(element) =
self.right_sidebar.render_active_item(&settings, cx)
{
content.add_child(element);
content.add_child(Flexible::new(0.8, element).boxed());
}
content.add_child(self.right_sidebar.render(&settings, cx));
content.boxed()