GNOME Bugzilla – Bug 722797
Migrate to new plugin API
Last modified: 2014-02-18 20:42:12 UTC
It appears the next version of gedit breaks the plugin API, at least in regards to plugins which modify the menus: http://blogs.gnome.org/nacho/2014/01/15/gedit-has-a-new-face/
At this point, I believe fixing the compilation problems with gedit 3.11/3.12 will result in migrating to the new API, so closing this as a duplicate. *** This bug has been marked as a duplicate of bug 724173 ***