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 #1089 from zed-industries/jump-to-diagnostic
Unverified
Jump to diagnostic
f1964cf2a0
Antonio Scandurra committed on 6/2/2022, 7:35:57 AM
· committed by GitHub
parents
ba6be46
6979e67
Files Changed
15 files changed
Line totals unavailable
Ignore whitespace
Unified
Split
assets/icons
assets/icons
…
jump.svg
jump.svg
…
crates
crates
…
diagnostics/src
diagnostics/src
…
diagnostics.rs
diagnostics.rs
…
editor/src
editor/src
…
display_map
display_map
…
block_map.rs
block_map.rs
…
editor.rs
editor.rs
…
element.rs
element.rs
…
gpui/src
gpui/src
…
elements
elements
…
mouse_event_handler.rs
mouse_event_handler.rs
…
tooltip.rs
tooltip.rs
…
elements.rs
elements.rs
…
presenter.rs
presenter.rs
…
scene.rs
scene.rs
…
theme/src
theme/src
…
theme.rs
theme.rs
…
workspace/src
workspace/src
…