From d95cd71acee5c2ad4f8a48bc749c7e1942aa50d8 Mon Sep 17 00:00:00 2001
From: Mattia Astorino <astorino.mattia@gmail.com>
Date: Fri, 8 Feb 2019 10:51:48 +0100
Subject: [PATCH] fix: Add support to the new FilterWidget. Fix #316.

---
 src/themes/theme-template-color-theme.json | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/themes/theme-template-color-theme.json b/src/themes/theme-template-color-theme.json
index 4ddca56..8f0c26f 100644
--- a/src/themes/theme-template-color-theme.json
+++ b/src/themes/theme-template-color-theme.json
@@ -839,6 +839,9 @@
     "settings.headerForeground": "{{commons.accents.Teal}}",
     "settings.modifiedItemIndicator": "{{commons.accents.Teal}}",
     "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}}"
   }
 }