Re: [Github-comments] [geany/geany-plugins] workbench: support live update. Closes #659. (#695)