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 #597 from zed-industries/select-on-rename
Unverified
When renaming, select new name and ghost old names
2cb4d0a35e
Antonio Scandurra committed on 3/12/2022, 6:12:09 PM
· committed by GitHub
parents
965f82e
992fc07
Files Changed
21 files changed
Line totals unavailable
Ignore whitespace
Unified
Split
crates
crates
…
editor/src
editor/src
…
display_map
display_map
…
block_map.rs
block_map.rs
…
fold_map.rs
fold_map.rs
…
tab_map.rs
tab_map.rs
…
wrap_map.rs
wrap_map.rs
…
display_map.rs
display_map.rs
…
editor.rs
editor.rs
…
element.rs
element.rs
…
multi_buffer.rs
multi_buffer.rs
…
go_to_line/src
go_to_line/src
…
go_to_line.rs
go_to_line.rs
…
gpui/src
gpui/src
…
elements
elements
…
text.rs
text.rs
…
color.rs
color.rs
…
fonts.rs
fonts.rs
…
language/src
language/src
…
buffer.rs
buffer.rs
…