-
Tim-Philipp Müller authored
Make sure that we properly update the registry and the cache file whenever the filter environment changes or there's no more filter set.
3410d665
Make sure that we properly update the registry and the cache file whenever the filter environment changes or there's no more filter set.