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