dan/gpui-component
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

dock: Change bottom dock to floating on bottom of the center view. (#419)

Browse source
This commit is contained in:
Jason Lee 2024-11-14 18:57:37 +08:00 committed by GitHub
parent 079cc35c48
commit a2d6752557
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 16 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
crates/ui/src/dock/mod.rs
View file

@ -49,6 +49,8 @@ pub struct DockArea {
left_dock: Option<View<Dock>>, left_dock: Option<View<Dock>>,
/// The bottom dock of the dockarea. /// The bottom dock of the dockarea.
bottom_dock: Option<View<Dock>>, bottom_dock: Option<View<Dock>>,
/// If true, the bottom dock is floating on bottom of the center view.
float_bottom_dock: bool,
/// The right dock of the dockarea. /// The right dock of the dockarea.
right_dock: Option<View<Dock>>, right_dock: Option<View<Dock>>,
/// The top zoom view of the dockarea, if any. /// The top zoom view of the dockarea, if any.
@ -242,6 +244,7 @@ impl DockArea {
right_dock: None, right_dock: None,
bottom_dock: None, bottom_dock: None,
is_locked: false, is_locked: false,
float_bottom_dock: true,
_subscriptions: vec![], _subscriptions: vec![],
}; };
@ -538,6 +541,7 @@ impl Render for DockArea {
// Center // Center
.child( .child(
div() div()
.relative()
.flex() .flex()
.flex_1() .flex_1()
.flex_col() .flex_col()
@ -551,7 +555,18 @@ impl Render for DockArea {
) )
// Bottom Dock // Bottom Dock
.when_some(self.bottom_dock.clone(), |this, dock| { .when_some(self.bottom_dock.clone(), |this, dock| {
this.child(dock) if self.float_bottom_dock {
this.child(
div()
.absolute()
.left_0()
.right_0()
.bottom_0()
.child(dock),
)
} else {
this
}
}), }),
) )
// Right Dock // Right Dock