ErrorList
Submitted by on Friday, 16 April, 2004 - 13:53
Hi All!
I'm currently developing a plugin and i've reached a point where I've to display error messages.
I've done a bit of reasearch and I guess that the ErrorList plugin does the job.
Unfortunately I did not find any documentation on how to use this plugin.
Does anybody know the meanings of the parameters of the constructor:
errorlist.DefaultErrorSource.DefaultError(ErrorSource arg0, int arg1, String arg2, int arg3, int arg4, int arg5, String arg6)?
PS: I'm currently developing my plugin under jEdit 4.1 and plan to migrate to 4.2 later on, so I'm using version 1.2.3 of ErrorList.
Regards,
Xserty
I'm currently developing a plugin and i've reached a point where I've to display error messages.
I've done a bit of reasearch and I guess that the ErrorList plugin does the job.
Unfortunately I did not find any documentation on how to use this plugin.
Does anybody know the meanings of the parameters of the constructor:
errorlist.DefaultErrorSource.DefaultError(ErrorSource arg0, int arg1, String arg2, int arg3, int arg4, int arg5, String arg6)?
PS: I'm currently developing my plugin under jEdit 4.1 and plan to migrate to 4.2 later on, so I'm using version 1.2.3 of ErrorList.
Regards,
Xserty
