diff options
Diffstat (limited to 'support')
-rw-r--r-- | support/jedit/console/README | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/support/jedit/console/README b/support/jedit/console/README new file mode 100644 index 0000000000..68d7d2f070 --- /dev/null +++ b/support/jedit/console/README @@ -0,0 +1,32 @@ +* Introduction + +This directory contains description files (.xml) for executing Scala commands +from the Console plugin for jEdit. + +More information about jEdit is available from: + + http://www.jedit.org/ + +* Requirements + +You first need to install the Console plugin for jEdit by following the +navigation path: + + menu "Plugins" -> menu item "Plugin Manager..." -> tab "Install"). + +More information about the Console plugin is available from: + + http://plugins.jedit.org/plugins/?Console + +* Installation + +Copy the directory "console" to the following location: + + ~/.jedit/ + +From that point on, entries for the Scala commands should be accessible from the +submenu "Console" in the "Plugins" menu. + +* Version + +$Id$ |