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 #2377 from zed-industries/add-tab-tooltips
Unverified
Add tab tooltips
614a9c8977
Joseph T. Lyons committed on 4/18/2023, 6:37:38 PM
· committed by GitHub
parents
1b477c9
304eddb
Files Changed
10 files changed
Line totals unavailable
Ignore whitespace
Unified
Split
crates
crates
…
diagnostics/src
diagnostics/src
…
diagnostics.rs
diagnostics.rs
…
editor/src
editor/src
…
items.rs
items.rs
…
feedback/src
feedback/src
…
feedback_editor.rs
feedback_editor.rs
…
gpui/src/elements
gpui/src/elements
…
tooltip.rs
tooltip.rs
…
search/src
search/src
…
project_search.rs
project_search.rs
…
terminal_view/src
terminal_view/src
…
terminal_view.rs
terminal_view.rs
…
welcome/src
welcome/src
…
welcome.rs
welcome.rs
…
workspace/src
workspace/src
…
item.rs
item.rs
…
pane.rs
pane.rs
…
shared_screen.rs
shared_screen.rs
…