BeanShell Plugin | By Slava Pestov sp@gjt.org |
When jEdit is started, this plugin first loads the jedit.bsh file from the BeanShell.jar file, which contains some utility functions. Then, it loads all files with extension ".bsh" from $HOME/.jedit/beanshell.
Arbitriary BeanShell commands can also be invoked from the console, if the Console plugin is installed; select the "BeanShell" shell and type BeanShell statements into the command field.
Entire jEdit plugins, with menu items, EditBus message handling, etc can also be written in BeanShell; see the files in the examples/ directory.