Re: [Github-comments] [geany/geany-plugins] workbench: added option to let git decide which files to display (#879)