2021-07-27 19:39:57 +02:00
|
|
|
import {UIEventSource} from "../Logic/UIEventSource";
|
2021-08-07 23:11:34 +02:00
|
|
|
import LayerConfig from "./ThemeConfig/LayerConfig";
|
2021-09-07 01:49:18 +02:00
|
|
|
import {And} from "../Logic/Tags/And";
|
2021-09-27 18:35:32 +02:00
|
|
|
import FilterConfig from "./ThemeConfig/FilterConfig";
|
2021-07-27 19:39:57 +02:00
|
|
|
|
|
|
|
export default interface FilteredLayer {
|
|
|
|
readonly isDisplayed: UIEventSource<boolean>;
|
2021-09-27 18:35:32 +02:00
|
|
|
readonly appliedFilters: UIEventSource<{filter: FilterConfig, selected: number}[]>;
|
2021-07-27 19:39:57 +02:00
|
|
|
readonly layerDef: LayerConfig;
|
|
|
|
}
|