krisyotam
/
zed
Code
Issues
Pull Requests
Antique
Wiki
Insights
/
zed
/
crates
/
editor
/
src
/
element
FE
Finn Eitreim
gpui: Give divs (the option for) a better scrolling experience (#61797)
79cc17c
3 months ago
History
Name
Last commit message
Last commit date
..
header.rs
editor: Fix opaque multibuffer header backgrounds not rendering in transparent themes (#61268)
3 months ago
mouse.rs
gpui: Give divs (the option for) a better scrolling experience (#61797)
3 months ago