| BeanShell Plugin |
By Slava Pestov
sp@gjt.org |
This plugin implements a BeanShell interpreter in jEdit. BeanShell is a
scripting language with a syntax very similar to that of Java. Information
about the language is available at <http://www.beanshell.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.
To Do
- More robust error reporting
- Better documentation
- Why isn't the 'shell' variable propagated to child namespaces?
Version 0.2
Requires jEdit 2.2final and EditBus 0.9.
- Andre Kaplan's changefont.bsh script now included
- jedit.bsh now sets properties using jEdit.setTemporaryProperty()
- jedit.bsh now adds some useful commands to the 'Plugins' menu
- Improved error handling somewhat
Version 0.1
Requires jEdit 2.2final and EditBus 0.9.
Version 0.0.1
Requires jEdit 2.2pre8 and EditBus 0.7. First release.