After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 496935 - Plugins should probably be called Extensions
Plugins should probably be called Extensions
Status: RESOLVED WONTFIX
Product: gedit-plugins
Classification: Other
Component: General
git master
Other Linux
: Normal trivial
: ---
Assigned To: Gedit maintainers
Gedit maintainers
Depends on:
Blocks:
 
 
Reported: 2007-11-15 02:37 UTC by Aaron Bockover
Modified: 2019-03-23 20:33 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Aaron Bockover 2007-11-15 02:37:31 UTC
In an effort to get GNOME applications that support Plugins, Extensions,
Addins, etc., to have a consistent name, I propose using the name "Extensions"
[1].

From comment #18 on my blog post about the subject [1], I conclude:

  a) There seems to be complete agreement that Add-ins, Add-ons, or anything
that could be hyphenized is out of the question. Looks funny too.

  b) That pretty much leaves us with “Extensions” and “Plugins.”

  c) “Extensions” seems to be best suited for internationalization, and you
can’t really mess it up (I’d love to see someone spell it Exten-sions).
“Plugins” degrades across cultural boundaries [2]. That said, I don’t
think getting into a deep analysis of the vague differences between Extensions
and Plugins is necessary. For all intents and purposes, they convey the same
thing.

[1] http://abock.org/2007/11/14/plugins-addins-extensions-oh-my/
[2] The fact that "Plugins" is very hard to translate was brought up by a
number of people. "Extensions" apparently does not have this problem (comment
#8):

  "I vote for Extensions. In Italian you can’t really translate plugin, thus
one has got to let it untraslated. Every time I use the word “plugin” I
have to spend 5 min explaining it. So, besides being very culturally
insensitive, it’s time consuming as well."
Comment 1 Shaun McCance 2007-12-19 23:51:49 UTC
http://library.gnome.org/devel/gdp-style-guide/stable/gnome-glossary-generic-terms.html.en

The currently recommended terminology in Gnome is "plugin".  If the community feels strongly that "extension" is a better word, then we can change the Style Guide.  But please, let's not have individual applications making this change without a change to the Style Guide.
Comment 2 Philip Ganchev 2007-12-22 22:39:56 UTC
Where can we file a bug or start a discussion about changing the style guide?
Comment 3 Pavel Šefránek 2008-06-04 13:25:51 UTC
Is there a place for GnomeGoal? There are more bugreports like this.
Comment 4 Paolo Borelli 2009-01-06 16:37:19 UTC
Closing until the style guide is changed. Once it's changed I am sure people will reopen a bug against gedit