Merge branch 'develop' into feature/pdf-export

This commit is contained in:
Pieter Vander Vennet 2021-07-28 00:22:59 +02:00
commit 6cd75a8260
13 changed files with 1494 additions and 91 deletions

View file

@ -381,7 +381,7 @@ export class InitUiElements {
new FilterView(State.state.filteredLayers).SetClass(
"block p-1 rounded-full"
),
"filter",
undefined,
State.state.filterIsOpened
);