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 #1556 from zed-industries/term-scroll-to-edge
Unverified
Added dragging and scrolling integration in terminal
1be6441694
Mikayla Maki committed on 8/24/2022, 2:46:01 AM
· committed by GitHub
parents
01e3f11
c0db1ad
Files Changed
4 files changed
Line totals unavailable
Ignore whitespace
Unified
Split
crates
crates
…
editor/src
editor/src
…
element.rs
element.rs
…
terminal/src
terminal/src
…
mappings
mappings
…
mouse.rs
mouse.rs
…
terminal.rs
terminal.rs
…
terminal_element.rs
terminal_element.rs
…