[ jEdit-users ] javascriptshell plugin woes

[Sébastien K. <seb...@gm...>]

Hi,

I have the following exception at jEdit start (latest build available
via updater) when the javascriptshell plugin is activated :

java.lang.NullPointerException
	at javascriptshell.JavaScriptShell.init(JavaScriptShell.java:71)
	at javascriptshell.JavaScriptShellPlugin.<init>(JavaScriptShellPlugin.java:33)
	at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
	at sun.reflect.NativeConstructorAccessorImpl.newInstance(Unknown Source)
	at sun.reflect.DelegatingConstructorAccessorImpl.newInstance(Unknown Source)
	at java.lang.reflect.Constructor.newInstance(Unknown Source)
	at java.lang.Class.newInstance0(Unknown Source)
	at java.lang.Class.newInstance(Unknown Source)
	at org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:738)
	at org.gjt.sp.jedit.PluginJAR.activatePluginIfNecessary(PluginJAR.java:826)
	at org.gjt.sp.jedit.jEdit.main(jEdit.java:475)

Several times, by playing with the activator plugin, I managed to
start correctly the JavascripShell plugin and use it in Console if I
reload the Console, then the JavascriptShell, but it is not 100%
reproductible. Sometimes it keeps crashing.

BTW, the sample startup.js that is given in the plugin help has syntax
errors. I noticed that the problem was told in the plugin development
forum in january 2010 (http://community.jedit.org/?q=node/view/4360)
but nobody answered in the thread.

Is the javascriptshell plugin still maintained ?

Regards.
-- 
Sébastien Kirche