GNOME Bugzilla – Bug 352251
Snippets: reassign Help button in Snippets Manager window
Last modified: 2019-03-23 20:52:30 UTC
Documentation for the Snippets plugin is now in the gedit manual. The docbook id for the section is 'gedit-snippets-plugin'.
done