Re: [Github-comments] [geany/geany] File browser plugin: filtering directories (#2075)