[ jEdit-users ] jEditOpener suggestion

[<ar...@co...>]

(Standard disclaimer: if it hasn't been mentioned before. I only skim 
these digests, yadda yadda).

It would be nice to be able to pass some extra options on to jedit, like 
-background and -nosplash.  Currently I fake it by setting 
JEDIT_CLASSNAME to "org.gjt.sp.jedit.jEdit -background -nosplash" and 
just assuming that this string will be passed literally on to the command 
line.  It would be nice to have an extra variable where one could safely 
pass extra jEdit options.

the opener works great though,
Aaron