Re: Rise of the Plugins

[Shaun McCance <shaunm gnome org>]

On Thu, 2007-05-17 at 19:41 +0200, Andy Wingo wrote:
> Hi,
> 
> On Thu, 2007-05-17 at 18:26 +0200, Vincent Untz wrote:
> > Plugin vs extension? 
> [...]
> > My €0.02: I think that people are getting used to the Extension term,
> > and it sounds less geeky.
> 
> Extension has the advantage that there's only one way to spell it (as
> opposed to plugin vs plug-in).
> 
> A minor point,

Not that I'm disagreeing, but it's worth pointing out that the
GNOME Documentation Style Guide (which doubles as terminology
guidelines for the entire desktop) has had "plugin" as the
recommended spelling for quite some time.

--
Shaun