Fix the symbol filter not working in the mapping view#315

encounter merged 5 commits intoencounter:mainencounter/objdiff:mainfrom

LagoLunatic:map-filterLagoLunatic/objdiff:map-filterCopy head branch name to clipboard