|
From: <KHa...@t-...> - 2001-11-13 19:21:08
|
I would like to copy additional files for a plugin in a directory: <users.home>/.jedit/<plugin-name>/<jedit-mode-name>/script.bsh How does the plugin manager download/install such files? Is there a method or special beanshell script in the plugin interface, which is called if the plugin manager installs the plugin? -- Klaus Hartlage Math java project: http://www.hartmath.org Riding the Java wave: http://www.jsurfer.org |