Re: Unifying name for Plugins/Extensions/etc.

2007-12-24 Thread Andrew Conkling
way. But the implementation or change would be significant, perhaps not even worthwhile. But if the currently recommended terminology of "plugin" isn't being observed or enforced, wouldn't it at least be worthwhile to change the documentation to the preferred word? And then we could file bugs and try to unify the terminology? Or am I being a bit too idealistic? Cheers, Andrew Conkling ___ desktop-devel-list mailing list desktop-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/desktop-devel-list

Unifying name for Plugins/Extensions/etc.

2007-12-19 Thread Andrew Conkling
.org/show_bug.cgi?id=496935 Rhythmbox: http://bugzilla.gnome.org/show_bug.cgi?id=496945 Tomboy: http://bugzilla.gnome.org/show_bug.cgi?id=496912 MonoDevelop: https://bugzilla.novell.com/show_bug.cgi?id=341845 Banshee: http://bugzilla.gnome.org/show_bug.cgi?id=496944 Cheers, Andrew Conkling ___ desktop-devel-list mailing list desktop-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/desktop-devel-list