Current manual explains plugins folder in user preference folder as "alternative" place.
Now OmegaT has a plugin installation feature and it installs plugins to the folder.
It should be recognized as plugins folder for USER.
A plugin folder where OmegaT.jar exists, is the plugin folder for SYSTEM.
We can use ~/.omegat/plugins as primary place for plugins now,
App_ConfigurationFolder.xml
<varlistentry id="configuration.folder.extra.contents.plugin">
<term id="configuration.folder.extra.contents.plugin.title">plugins/</term>
<listitem>
<para>This folder provides an alternative location for manually
installed OmegaT extension plugins. See the <link
linkend="dialogs.preferences.plugins"
endterm="dialogs.preferences.plugins.title"/> preference for
details.</para>
</listitem>
</varlistentry>
Diff:
Ok, so you mean that the folder in the application distribution is not the main install location now, is that correct ?
Yes, it will be correct for ordinary (new) users who use GUI to install plugins.
Do you want me to modify the doc ?
https://github.com/omegat-org/omegat/commit/dbff4bbfedc9171ac45f60156bcbdf28fd6a07ea