Re: [Github-comments] [geany/geany-plugins] Workbench: remove files and directories from workbench's pane (#711)