fix: Add support to the new FilterWidget. Fix #316.

This commit is contained in:
Mattia Astorino 2019-02-08 10:51:48 +01:00
parent 8ce1ab62c6
commit d95cd71ace
No known key found for this signature in database
GPG key ID: 7BE552533AB6D4E2

View file

@ -839,6 +839,9 @@
"settings.headerForeground": "{{commons.accents.Teal}}", "settings.headerForeground": "{{commons.accents.Teal}}",
"settings.modifiedItemIndicator": "{{commons.accents.Teal}}", "settings.modifiedItemIndicator": "{{commons.accents.Teal}}",
"settings.checkboxBackground": "{{variant.scheme.backgroundAlt}}", "settings.checkboxBackground": "{{variant.scheme.backgroundAlt}}",
"settings.checkboxForeground": "{{variant.scheme.foreground}}" "settings.checkboxForeground": "{{variant.scheme.foreground}}",
"listFilterWidget.background": "{{variant.scheme.inactiveSelectionBackground}}",
"listFilterWidget.outline": "{{variant.scheme.inactiveSelectionBackground}}",
"listFilterWidget.noMatchesOutline": "{{variant.scheme.inactiveSelectionBackground}}"
} }
} }