[ jEdit-devel ] Console plugin API change

[Slava P. <sl...@je...>]

Hi all,

This affects AntFarm and maybe others.

As of Console 3.3, this method is now deprecated:

Console.parseLine(String line, String directory, DefaultErrorSource errors);

Use this instead:

Console.parseLine(View view, String line, String directory,
    DefaultErrorSource errors);

-- 
Slava Pestov