For me, PluginManager shows 56 loaded plugins (w/o libraries), but macro "Insert Plugins
List.bsh" lists only 31 plugins.
In contrast, an old macro named "Write_Active_Plugins_To_Buffer.bsh" (downloaded from
jedit community page, I believe) creates a list containing all my 56 plugins.
jEdit 5.3.0
Oracle Java 1.8.0_73
Windows 8.1
Submitted | rschwenn - 2016-02-13 18:47:20.695000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | minor bug |
Resolution | None |
2016-02-13 23:12:17.707000 ezust |
The top of the thing says "List of *running* plugins", not list of installed plugins.
|
---|---|
2016-02-13 23:39:59.665000 rschwenn |
I thought, a running plugin is one that's checked on PluginManager's Manage tab. Now,
using Activator plugin, I see what You mean ;-)
|