Hello, gedit-plugins has just been branched. Gnome 2.20 development will happen in HEAD. Note that gedit-plugins is not part of the gnome release.
Plans are to adapt gedit-plugins to the new gedit/gtksourceview API. _______________________________________________ desktop-devel-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/desktop-devel-list
