Sign in
Join now
zed
oppi.li
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
fork of gpui
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
zed
/
crates
/
editor
/
src
/
scroll
3 files
at
master
Finn Eitreim
·
gpui: Give divs (the option for) a better scrolling experience (#61797)
·
3mo ago
79cc17c2
actions.rs
gpui: Give divs (the option for) a better scrolling experience (#61797)
3mo ago
autoscroll.rs
editor: Fix horizontal autoscroll only revealing part of search matches (#61487)
3mo ago
scroll_amount.rs
editor: Represent scroll offset with more precision (#39367)
1y ago
