diff options
author | Georg Brandl <georg@python.org> | 2014-10-07 16:38:31 +0200 |
---|---|---|
committer | Georg Brandl <georg@python.org> | 2014-10-07 16:38:31 +0200 |
commit | 06af846e38aa39e526454c215d80fe0edef50e9d (patch) | |
tree | b769b087a141191565d9536fd4f91926b1a8deab /pygments/lexers/jvm.py | |
parent | c4ab8b3b31e240e4575a7034e166b9d8140c9e2b (diff) | |
download | pygments-06af846e38aa39e526454c215d80fe0edef50e9d.tar.gz |
Scala: add $$ escape for interpolated strings. (#1010)
Diffstat (limited to 'pygments/lexers/jvm.py')
-rw-r--r-- | pygments/lexers/jvm.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pygments/lexers/jvm.py b/pygments/lexers/jvm.py index 34198530..c5fe49f6 100644 --- a/pygments/lexers/jvm.py +++ b/pygments/lexers/jvm.py @@ -325,6 +325,7 @@ class ScalaLexer(RegexLexer): 'interpstring': [ (r'[^"$\\]', String), (r'\$\{', String.Interpol, 'interpbrace'), + (r'\$\$', String), (r'\\.', String), (r'"', String, '#pop'), ], |