Re: [Github-comments] [geany/geany] Improve goto-symbols popup (#1445)