Added new SystemPreferences faceted.filter.download
@@ -694,6 +694,10 @@ public class SystemPreferences {
public static final StringPreference FACETED_FILTER_DISPLAY_NAME_TAG = new StringPreference(
"faceted.filter.display.name.tag", null, FACETED_FILTER_GROUP, pass, true);
+ public static final ObjectPreference<Map<String, Object>> FACETED_FILTER_DOWNLOAD = new ObjectPreference<>(
+ "faceted.filter.download", null, new TypeReference<Map<String, Object>>() {},
+ FACETED_FILTER_GROUP, isNullOrValidJson(new TypeReference<Map<String, Object>>() {}), true);
+
// BASE_URLS_GROUP
public static final StringPreference BASE_API_HOST = new StringPreference("base.api.host", null,
BASE_URLS_GROUP, PreferenceValidators.isValidUrl);
