mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-24 19:10:24 +00:00
Fix remote dev project name label (#22307)
Closes https://github.com/zed-industries/zed/issues/21877 <img width="800" alt="Screenshot 2024-12-20 at 6 45 50 PM" src="https://github.com/user-attachments/assets/2069465f-1a00-47de-b691-585bb2603279" /> Release Notes: - N/A
This commit is contained in:
parent
4ed0e5160f
commit
8ee04bf04a
1 changed files with 17 additions and 14 deletions
|
@ -317,6 +317,10 @@ impl TitleBar {
|
||||||
|
|
||||||
Some(
|
Some(
|
||||||
ButtonLike::new("ssh-server-icon")
|
ButtonLike::new("ssh-server-icon")
|
||||||
|
.child(
|
||||||
|
h_flex()
|
||||||
|
.gap_2()
|
||||||
|
.max_w_32()
|
||||||
.child(
|
.child(
|
||||||
IconWithIndicator::new(
|
IconWithIndicator::new(
|
||||||
Icon::new(IconName::Server)
|
Icon::new(IconName::Server)
|
||||||
|
@ -328,11 +332,10 @@ impl TitleBar {
|
||||||
.into_any_element(),
|
.into_any_element(),
|
||||||
)
|
)
|
||||||
.child(
|
.child(
|
||||||
div()
|
Label::new(nickname.clone())
|
||||||
.max_w_32()
|
.size(LabelSize::Small)
|
||||||
.overflow_hidden()
|
.text_ellipsis(),
|
||||||
.text_ellipsis()
|
),
|
||||||
.child(Label::new(nickname.clone()).size(LabelSize::Small)),
|
|
||||||
)
|
)
|
||||||
.tooltip(move |cx| {
|
.tooltip(move |cx| {
|
||||||
Tooltip::with_meta("Remote Project", Some(&OpenRemote), meta.clone(), cx)
|
Tooltip::with_meta("Remote Project", Some(&OpenRemote), meta.clone(), cx)
|
||||||
|
|
Loading…
Reference in a new issue