# HG changeset patch # User wenzelm # Date 1356968511 -3600 # Node ID 1656248e673f4e00f715b06bb8ddf9925fd45d86 # Parent 3356ff213339df7a71018ed60057e94f496edc34 scala mode is already part of jedit-5.0.0; diff -r 3356ff213339 -r 1656248e673f src/Tools/jEdit/lib/Tools/jedit --- a/src/Tools/jEdit/lib/Tools/jedit Mon Dec 31 16:16:43 2012 +0100 +++ b/src/Tools/jEdit/lib/Tools/jedit Mon Dec 31 16:41:51 2012 +0100 @@ -280,8 +280,6 @@ print qq,\n\n,; print qq,\n\n,; print qq,\n\n,; } - elsif (m/NAME="scheme"/) { - print qq,\n\n,; } print; }' dist/modes/catalog cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed diff -r 3356ff213339 -r 1656248e673f src/Tools/jEdit/src/modes/scala.xml --- a/src/Tools/jEdit/src/modes/scala.xml Mon Dec 31 16:16:43 2012 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,399 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - @ - - - - - - - /**/ - - // - - - - /** - */ - - - - - /* - */ - - - - <!-- - - - <\/?\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*; - - - --> - -