TomcatSwitch 0.6.2 is completely broken

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2007-01-22

Created: 2007-01-22

Private: No

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

Alan Ezust - 2012-08-03

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.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link: