diff options
Diffstat (limited to 'support/jedit/modes/README')
| -rw-r--r-- | support/jedit/modes/README | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/support/jedit/modes/README b/support/jedit/modes/README deleted file mode 100644 index 04609548f5..0000000000 --- a/support/jedit/modes/README +++ /dev/null @@ -1,33 +0,0 @@ -* 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$ |