Re: [Github-comments] [geany/geany] Filter symbols in the Symbol List (new feature) (#2657)