chore: automated housekeeping...

This commit is contained in:
Pieter Vander Vennet 2025-07-10 18:26:31 +02:00
parent a190597905
commit 087e639020
382 changed files with 29496 additions and 2675 deletions

View file

@ -73,8 +73,8 @@ export class MenuState {
})
}
this.pageStates.filter.addCallback(opened => {
if(!opened){
this.pageStates.filter.addCallback((opened) => {
if (!opened) {
this.highlightedLayerInFilters.set(undefined)
}
})