Bugfix: if a filter is enabled, a new point of that layer cannot be added anymore; instead the filter should be disabled (to prevent duplicates)

This commit is contained in:
Pieter Vander Vennet 2021-09-07 01:49:18 +02:00
parent ebf0427b1f
commit 9de4ff9abf
4 changed files with 52 additions and 22 deletions

View file

@ -1,9 +1,10 @@
import {UIEventSource} from "../Logic/UIEventSource";
import {TagsFilter} from "../Logic/Tags/TagsFilter";
import LayerConfig from "./ThemeConfig/LayerConfig";
import {And} from "../Logic/Tags/And";
export default interface FilteredLayer {
readonly isDisplayed: UIEventSource<boolean>;
readonly appliedFilters: UIEventSource<TagsFilter>;
readonly appliedFilters: UIEventSource<And>;
readonly layerDef: LayerConfig;
}