Re: [Github-comments] [geany/geany] plugin API: reload build menu (geanyprj requirements discussion) (#1293)