diff options
author | michelou <michelou@epfl.ch> | 2005-02-21 12:07:19 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2005-02-21 12:07:19 +0000 |
commit | ff2538e6495397b8dd6361f6b95d271abfe8aeb5 (patch) | |
tree | 32f3e54f70cf5f9da7d59532e2159b3b773ad284 /support/jedit | |
parent | b81c202d9dfbf99c4baaa76cdd302ed69ff6b640 (diff) | |
download | scala-ff2538e6495397b8dd6361f6b95d271abfe8aeb5.tar.gz scala-ff2538e6495397b8dd6361f6b95d271abfe8aeb5.tar.bz2 scala-ff2538e6495397b8dd6361f6b95d271abfe8aeb5.zip |
*** empty log message ***
Diffstat (limited to 'support/jedit')
-rw-r--r-- | support/jedit/README | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/support/jedit/README b/support/jedit/README new file mode 100644 index 0000000000..04609548f5 --- /dev/null +++ b/support/jedit/README @@ -0,0 +1,33 @@ +* Introduction + +This directory contains an additional syntax highlighting mode (.xml) for +Scala programs. You will need to add a mode catalog entry after placing the +mode file in an appropriate mode directory. + +More information about jEdit is available from: + + http://www.jedit.org/ + +* Installation + +Copy the file "scala.xml" to the following location: + + ~/.jedit/modes/ + +or alternatively to the location: + + <jedit_instdir>/modes/ + +Add the following entry to the file "catalog" present in the same directory +as "scala.xml" you just copied. + + <MODE NAME="scala" FILE="scala.xml" FILE_NAME_GLOB="*.scala" /> + +Restart the jEdit text editor. + +From that point on, loading a file whose name ends in ".scala" automatically +turns Scala mode on. + +* Version + +$Id$ |