[Github-comments] Re: [geany/geany] Feature request: incremental filtering (Issue #3294)