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 711328 - snippets help is not found
snippets help is not found
Status: RESOLVED FIXED
Product: gedit
Classification: Applications
Component: snippets
git master
Other Linux
: Normal normal
: ---
Assigned To: Gedit maintainers
Gedit maintainers
Depends on:
Blocks:
 
 
Reported: 2013-11-03 13:53 UTC by Adam Dingle
Modified: 2013-11-03 16:20 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Show correct help page for snippets (1010 bytes, patch)
2013-11-03 15:14 UTC, jessevdk@gmail.com 		none Details | Review
Change snippets help id to gedit-plugin-snippets (910 bytes, patch)
2013-11-03 16:13 UTC, jessevdk@gmail.com 		committed Details | Review

Description Adam Dingle 2013-11-03 13:53:31 UTC 
I'm running gedit from git master on Ubuntu 13.10.

If I press the Help button in the Manage Snippets dialog, I see

===
Page Not Found
The page ‘gedit-plugins-snippets’ was not found in the document ‘help:gedit’.
===
Comment 1 jessevdk@gmail.com 2013-11-03 15:14:45 UTC 
Created attachment 258855 [details] [review]
Show correct help page for snippets
Comment 2 jessevdk@gmail.com 2013-11-03 15:15:25 UTC 
Could you maybe confirm the patch. My jhbuild is acting up and I can't verify if this works.
Comment 3 Adam Dingle 2013-11-03 15:44:15 UTC 
The patch works fine for me in git master.
Comment 4 Paolo Borelli 2013-11-03 16:04:15 UTC 
I propose to change the id in the .page file instead, that seems more consistent with all the other plugin help pages
Comment 5 jessevdk@gmail.com 2013-11-03 16:13:13 UTC 
Created attachment 258862 [details] [review]
Change snippets help id to gedit-plugin-snippets