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 #104 from zed-industries/double-buffer
Unverified
Avoid adding the same entry when concurrently opening it more than once
f1ce507ed4
Antonio Scandurra committed on 7/8/2021, 3:51:19 PM
· committed by GitHub
parents
792926c
f55718c
Files Changed
2 files changed
Line totals unavailable
Ignore whitespace
Unified
Split
zed/src
zed/src
…
workspace
workspace
…
pane.rs
pane.rs
…
workspace.rs
workspace.rs
…