GNOME Bugzilla – Bug 724963
plugins: remove headerbar help button code
Last modified: 2019-03-23 20:33:02 UTC
In snippets and external tools managers, there's a headerbar help button not activated and not used, so let remove it.
Created attachment 270002 [details] [review] plugins: remove headerbar help button code
Yep, as discussed on irc I agree