Fix use of "extension" versus "plug-in"
GIMP git master has an item Manage Extensions
in the Edit
menu of the main menu. It is undocumented (no 3.23 item on https://testing.docs.gimp.org/2.99/en/ ) and the menu item does not exist in 2.10. It was introduced in gimp@ff12c2d9 by @Jehan.
There is also a "Plug-In Browser" documented at https://testing.docs.gimp.org/2.99/en/plug-in-plug-in-details.html
What is the difference between a plugin and an extension from a user point of view, and how to know?
- https://testing.docs.gimp.org/2.99/en/glossary.html lists "PDB: All of the functions which GIMP and its extensions make available" and "Plugin: Optional extensions for GIMP."
- https://testing.docs.gimp.org/2.99/en/introduction.html talks about "plug-ins and extensions to do just about anything" (sigh).
- https://testing.docs.gimp.org/2.99/en/gimp-fire-up.html#gimp-concepts-running talks about "the GIMP scripting extensions"
-
src/menus/about-plugin-menuitems.xml
talks about "extensions (plug-ins)".
Are these uses of terminology correct? Should they be changed?