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>
This commit is contained in:
Philipp Schaffrath 2024-02-20 17:26:09 +01:00 committed by GitHub
parent 80db468720
commit db0eaca2e5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
10 changed files with 43 additions and 40 deletions

View file

@ -290,7 +290,10 @@ pub struct ThemeColorsContent {
pub pane_focused_border: Option<String>,
/// The color of the scrollbar thumb.
#[serde(rename = "scrollbar_thumb.background")]
#[serde(
rename = "scrollbar.thumb.background",
alias = "scrollbar_thumb.background"
)]
pub scrollbar_thumb_background: Option<String>,
/// The color of the scrollbar thumb when hovered over.