diff options
| author | michelou <michelou@epfl.ch> | 2005-04-12 16:17:23 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2005-04-12 16:17:23 +0000 |
| commit | 477b7906929710719eef4a0d1b817155d52dc92f (patch) | |
| tree | 735e0681c545255d2aebada5b04116dc1b73ae23 /support/jedit | |
| parent | 5b2c183efb929ecfce6fc8c8a307f4f1af69f279 (diff) | |
| download | scala-477b7906929710719eef4a0d1b817155d52dc92f.tar.gz scala-477b7906929710719eef4a0d1b817155d52dc92f.tar.bz2 scala-477b7906929710719eef4a0d1b817155d52dc92f.zip | |
*** empty log message ***
Diffstat (limited to 'support/jedit')
| -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$ |