zed/assets/themes
Philipp Schaffrath db0eaca2e5
Rename scrollbar_thumb to be consistent with other style properties (#8004)
This small inconsistency was mentioned on the discord. This fixes it.

Release Notes:

- Themes: Renamed `scrollbar_thumb.background` to
`scrollbar.thumb.background` to be consistent with other style
properties.

---------

Co-authored-by: Marshall Bowers <elliott.codes@gmail.com>
2024-02-20 11:26:09 -05:00
..
andromeda Rename scrollbar_thumb to be consistent with other style properties (#8004) 2024-02-20 11:26:09 -05:00
atelier Rename scrollbar_thumb to be consistent with other style properties (#8004) 2024-02-20 11:26:09 -05:00
ayu Rename scrollbar_thumb to be consistent with other style properties (#8004) 2024-02-20 11:26:09 -05:00
gruvbox Rename scrollbar_thumb to be consistent with other style properties (#8004) 2024-02-20 11:26:09 -05:00
one Rename scrollbar_thumb to be consistent with other style properties (#8004) 2024-02-20 11:26:09 -05:00
rose_pine Rename scrollbar_thumb to be consistent with other style properties (#8004) 2024-02-20 11:26:09 -05:00
sandcastle Rename scrollbar_thumb to be consistent with other style properties (#8004) 2024-02-20 11:26:09 -05:00
solarized Rename scrollbar_thumb to be consistent with other style properties (#8004) 2024-02-20 11:26:09 -05:00
summercamp Rename scrollbar_thumb to be consistent with other style properties (#8004) 2024-02-20 11:26:09 -05:00
.gitkeep Removed stray compiled theme files 2022-09-08 15:51:39 -07:00
LICENSES Load JSON themes (#6893) 2024-01-27 16:03:04 -05:00