Sign up
gitcafe
/
zed
Code
Issues
Pulls
CI
Stacks
Search
Branches
Tags
Code
Issues
Pulls
CI
Stacks
Search
Branches
Tags
More
View stargazers
0
Sign up
Code
Merge pull request #1193 from zed-industries/tooltips
Unverified
Add some tooltips to aid discoverability
7239aac532
Antonio Scandurra committed on 6/15/2022, 3:19:50 PM
· committed by GitHub
parents
0c8d33b
d02bc2f
Files Changed
10 files changed
Line totals unavailable
Ignore whitespace
Unified
Split
crates
crates
…
contacts_panel/src
contacts_panel/src
…
contacts_panel.rs
contacts_panel.rs
…
context_menu/src
context_menu/src
…
context_menu.rs
context_menu.rs
…
diagnostics/src
diagnostics/src
…
items.rs
items.rs
…
editor/src
editor/src
…
element.rs
element.rs
…
gpui/src
gpui/src
…
elements
elements
…
overlay.rs
overlay.rs
…
tooltip.rs
tooltip.rs
…
elements.rs
elements.rs
…
workspace/src
workspace/src
…
sidebar.rs
sidebar.rs
…
workspace.rs
workspace.rs
…
zed/src
zed/src
…
zed.rs
zed.rs
…