> So it seems that everyone prefers "Extension" to "Plugin" or any > others, in theory anyway. 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?
I don't think so. That's exactly how I would like to do it. Regards, Denis _______________________________________________ desktop-devel-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/desktop-devel-list
