mirror of
https://github.com/servo/servo.git
synced 2025-08-06 14:10:11 +01:00
style: Remove support for unused gtk infobar widget and colors
Presumably they were for notifications and now we use native notifications? Differential Revision: https://phabricator.services.mozilla.com/D114874
This commit is contained in:
parent
3cf8c19313
commit
6d6ea6cfe4
2 changed files with 0 additions and 4 deletions
|
@ -1838,8 +1838,6 @@ pub enum Appearance {
|
|||
#[parse(condition = "ParserContext::in_ua_or_chrome_sheet")]
|
||||
MozWindowTitlebarMaximized,
|
||||
|
||||
#[parse(condition = "ParserContext::in_ua_or_chrome_sheet")]
|
||||
MozGtkInfoBar,
|
||||
#[parse(condition = "ParserContext::in_ua_or_chrome_sheet")]
|
||||
MozMacActiveSourceListSelection,
|
||||
#[parse(condition = "ParserContext::in_ua_or_chrome_sheet")]
|
||||
|
|
|
@ -369,8 +369,6 @@ pub enum SystemColor {
|
|||
MozComboboxtext,
|
||||
MozCombobox,
|
||||
|
||||
MozGtkInfoBarText,
|
||||
|
||||
/// Color of tree column headers
|
||||
#[parse(condition = "ParserContext::in_ua_or_chrome_sheet")]
|
||||
MozColheadertext,
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue