Hi, this plugin doesn't support new 4.2 plugin api, and is incompatible with the Console
4.3.1 (it uses an old method)
[error] BeanShellAction: java.lang.NoSuchMethodError: console.Console.setShell(Lconsole/Shell;)V
|Submitted||kpouer - 2007-01-22 - 10:45:59z||Assigned||nobody|
|2012-08-03 - 05:31:00z
|Fixed corresponding entry in plugin manager so it won't show up for current versions
of jEdit, and will also be marked as unsupported by jEdit 5.1 and later.