Max Brunsfeld 638e9f9477 Merge pull request #1715 from zed-industries/scrollbars ...

Add scrollbars

2022-10-11 13:34:15 -07:00

..

theme_registry.rs

Added experimental themes flag

2022-09-08 15:47:27 -07:00

theme.rs

Merge pull request #1715 from zed-industries/scrollbars

2022-10-11 13:34:15 -07:00