mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-12-28 20:01:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

Show pointer hand on tab & give last tab border right

Browse source
This commit is contained in:
Julia 2024-01-03 14:36:10 -05:00
parent 7f62a17276
commit a7550de8c5
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
crates/ui/src/components/tab.rs
View file

@ -126,13 +126,14 @@ impl RenderOnce for Tab {
if self.selected { if self.selected {
this.border_l().border_r().pb_px() this.border_l().border_r().pb_px()
} else { } else {
this.pr_px().pl_px().border_b() this.pr_px().pl_px().border_b().border_r()
} }
} }
TabPosition::Middle(Ordering::Equal) => this.border_l().border_r().pb_px(), TabPosition::Middle(Ordering::Equal) => this.border_l().border_r().pb_px(),
TabPosition::Middle(Ordering::Less) => this.border_l().pr_px().border_b(), TabPosition::Middle(Ordering::Less) => this.border_l().pr_px().border_b(),
TabPosition::Middle(Ordering::Greater) => this.border_r().pl_px().border_b(), TabPosition::Middle(Ordering::Greater) => this.border_r().pl_px().border_b(),
}) })
.cursor_pointer()
.child( .child(
h_stack() h_stack()
.group("") .group("")