# HG changeset patch # User wenzelm # Date 1332002170 -3600 # Node ID f1856425224e11521c87d42cf75e6639b7d6d43e # Parent b839e9fdf972badedeb449049382c0f9775912f1 include scala.xml as of scala-2.9.1.final/misc/scala-tool-support/jedit/modes/scala.xml -- seems to be missing in more recent distributions; diff -r b839e9fdf972 -r f1856425224e src/Tools/jEdit/lib/Tools/jedit --- a/src/Tools/jEdit/lib/Tools/jedit Sat Mar 17 16:13:41 2012 +0100 +++ b/src/Tools/jEdit/lib/Tools/jedit Sat Mar 17 17:36:10 2012 +0100 @@ -228,7 +228,6 @@ cp -p -R -f "${RESOURCES[@]}" dist/classes/. cp src/jEdit.props dist/properties/. cp -p -R -f src/modes/. dist/modes/. - cp -p -R -f "$SCALA_HOME/misc/scala-tool-support/jedit/modes/scala.xml" dist/modes/. perl -i -e 'while (<>) { if (m/NAME="javacc"/) { diff -r b839e9fdf972 -r f1856425224e src/Tools/jEdit/src/modes/scala.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Tools/jEdit/src/modes/scala.xml Sat Mar 17 17:36:10 2012 +0100 @@ -0,0 +1,399 @@ + + + + + + + + + + + + + + + + + + + + + + + + @ + + + + + + + /**/ + + // + + + + /** + */ + + + + + /* + */ + + + + <!-- + + + <\/?\w* + + + + """ + """ + + + " + " + + '([^']|\\.)' + + + '[0-9a-zA-Z><=+]([0-9a-zA-Z><=+]|_[0-9a-zA-Z><=+])* + + + + \[[^\[\]]*(\[[^\[\]]*(\[[^\[\]]*\][^\[\]]*)*\][^\[\]]*)*\] + + + <:\s*\w+(\.\w+)*(#\w+)? + >:\s*\w+(\.\w+)*(#\w+)? + + ) + = + ! + >= + >: + <= + <: + + + - + / + * + > + < + % + & + | + ^ + ` + ~ + } + { + . + , + ; + ] + [ + ? + : + + + :\s*\w+(\.\w+)*(#\w+)? + + + ( + + + case + => + + + + abstract + case + catch + class + def + do + else + extends + final + finally + for + forSome + if + implicit + import + lazy + match + new + object + override + package + private + protected + requires + return + sealed + throw + trait + try + type + val + var + with + while + yield + => + + + Character + Integer + + + Boolean + boolean + Byte + byte + Char + char + Double + double + Float + float + Int + int + Long + long + Short + short + Unit + unit + + + Actor + ActorProxy + ActorTask + ActorThread + AllRef + Any + AnyRef + Application + AppliedType + Array> + ArrayBuffer + Attribute + BoxedArray + BoxedBooleanArray + BoxedByteArray + BoxedCharArray + Buffer + BufferedIterator + Enumeration + Fluid + Function + IScheduler + ImmutableMapAdaptor + ImmutableSetAdaptor + Iterable + List + Option + Pair + PartialFunction + Pid + PriorityQueue + PriorityQueueProxy + Reaction + Ref + Responder + RichInt + RichString + Rule + RuleTransformer + Script + Some + Stream + String + Symbol + TcpService + TcpServiceWorker + WorkerThread + + + Console + Nil + None + Predef + RemoteActor + SUnit + ScalaRunTime + Scheduler + TIMEOUT + TimerThread + + false + null + super + this + true + + + + + + + @ + + + + + { + + + * + + + + <pre> + </pre> + + + + + <!-- + --> + + + + << + <= + < + + + + < + > + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + " + " + + + + ' + ' + + + + + { + } + + + + >$ + + + >\s*; + + + >\s*\) + + + > + + + + + + { + } + + + <!-- + + <\/?\w* + + + + + -->$ + + + -->\s*; + + + --> + +