Max Brunsfeld 71f4ef2e82 Refresh scrollbar auto-hide setting when opening a new editor

2022-10-11 09:28:17 -07:00

..

src

Refresh scrollbar auto-hide setting when opening a new editor

2022-10-11 09:28:17 -07:00

Cargo.toml

Merge pull request #1404 from zed-industries/html-support

2022-10-06 10:32:44 -07:00