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

Reduce Popover pop-up margin (#187)

Browse source
This commit is contained in:
Floyd Wang 2024-08-29 16:19:29 +08:00 committed by GitHub
parent 7286866afd
commit 311abe07fe
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
crates/ui/src/popover.rs
View file

@ -239,9 +239,11 @@ impl<M: ManagedView> Element for Popover<M> {
.occlude() .occlude()
.when(!no_style, |this| this.popover_style(cx)) .when(!no_style, |this| this.popover_style(cx))
.map(|this| match anchor { .map(|this| match anchor {
AnchorCorner::TopLeft | AnchorCorner::TopRight => this.top_2(), AnchorCorner::TopLeft | AnchorCorner::TopRight => {
this.top_1p5()
}
AnchorCorner::BottomLeft | AnchorCorner::BottomRight => { AnchorCorner::BottomLeft | AnchorCorner::BottomRight => {
this.bottom_2() this.bottom_1p5()
} }
}) })
.child(content_view.clone()) .child(content_view.clone())