# 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*;
-
-
- -->
-
-