pietervdvn dd68cc39e7 Unofficial themes are remembered now		2022-02-04 14:36:26 +01:00
..
ElementsState.ts	Full code cleanup	2022-01-26 21:40:38 +01:00
FeaturePipelineState.ts	Full code cleanup	2022-01-26 21:40:38 +01:00
FeatureSwitchState.ts	Do not show quickswitch if background map switching is disabled	2021-12-04 12:20:24 +01:00
MapState.ts	Lots of styling tweaks, add filter links between layers	2022-02-01 04:14:54 +01:00
UserRelatedState.ts	Unofficial themes are remembered now	2022-02-04 14:36:26 +01:00