Re: [Github-comments] [geany/geany] plugin-manager: sync buttons on "button-release-event" (#1784)