mirror of
https://github.com/servo/servo.git
synced 2025-08-03 12:40:06 +01:00
style: Use separate Scrollbar and ThemedScrollbar ColorIDs.
Otherwise on Windows, we have a ColorID::Scrollbar but not any of the other scrollbar part colors, and the Windows-provided value for Scrollbar doesn't work well with the default values for the other scrollbar parts that come from the non-native theme. Differential Revision: https://phabricator.services.mozilla.com/D93728
This commit is contained in:
parent
a4f82712ae
commit
a497b033dc
1 changed files with 7 additions and 5 deletions
|
@ -108,15 +108,17 @@ pub enum SystemColor {
|
|||
#[css(skip)]
|
||||
SpellCheckerUnderline,
|
||||
#[css(skip)]
|
||||
ScrollbarInactive,
|
||||
ThemedScrollbar,
|
||||
#[css(skip)]
|
||||
ScrollbarThumb,
|
||||
ThemedScrollbarInactive,
|
||||
#[css(skip)]
|
||||
ScrollbarThumbHover,
|
||||
ThemedScrollbarThumb,
|
||||
#[css(skip)]
|
||||
ScrollbarThumbActive,
|
||||
ThemedScrollbarThumbHover,
|
||||
#[css(skip)]
|
||||
ScrollbarThumbInactive,
|
||||
ThemedScrollbarThumbActive,
|
||||
#[css(skip)]
|
||||
ThemedScrollbarThumbInactive,
|
||||
Activeborder,
|
||||
Activecaption,
|
||||
Appworkspace,
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue