After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 724963 - plugins: remove headerbar help button code
plugins: remove headerbar help button code
Status: RESOLVED FIXED
Product: gedit-plugins
Classification: Other
Component: General
git master
Other Linux
: Normal normal
: ---
Assigned To: Gedit maintainers
Gedit maintainers
Depends on:
Blocks:
 
 
Reported: 2014-02-22 18:36 UTC by sébastien lafargue
Modified: 2019-03-23 20:33 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
plugins: remove headerbar help button code (3.61 KB, patch)
2014-02-22 18:37 UTC, sébastien lafargue 		committed Details | Review

Description sébastien lafargue 2014-02-22 18:36:00 UTC 
In snippets and external tools managers, there's a headerbar help button
not activated and not used, so let remove it.
Comment 1 sébastien lafargue 2014-02-22 18:37:09 UTC 
Created attachment 270002 [details] [review]
plugins: remove headerbar help button code
Comment 2 Paolo Borelli 2014-02-22 18:59:37 UTC 
Yep, as discussed on irc I agree