zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-01-06 11:06:58 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add tooltip to submit feedback button

Browse Source
This commit is contained in:
Joseph Lyons 2023-02-08 10:37:04 -05:00
parent ef16963772
commit 654ee48feb
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
crates/feedback/src/feedback_editor.rs
View File

@ -481,6 +481,13 @@ impl View for SubmitFeedbackButton {
.aligned() .aligned()
.contained() .contained()
.with_margin_left(theme.feedback.button_margin) .with_margin_left(theme.feedback.button_margin)
.with_tooltip::<Self, _>(
0,
"cmd-s".into(),
Some(Box::new(SubmitFeedback)),
theme.tooltip.clone(),
cx,
)
.boxed() .boxed()
} }
} }