# HG changeset patch
# User wenzelm
# Date 1418148067 -3600
# Node ID fe7f91f85789d4689abfef3ae0d3d2e193a1d079
# Parent  caddfa6ca534a279776cbf9047c3d0c8f3566af1
clarified language context, e.g. relevant for symbol completion within cartouches;

diff -r caddfa6ca534 -r fe7f91f85789 src/Tools/jEdit/src/rendering.scala
--- a/src/Tools/jEdit/src/rendering.scala	Tue Dec 09 18:29:45 2014 +0100
+++ b/src/Tools/jEdit/src/rendering.scala	Tue Dec 09 19:01:07 2014 +0100
@@ -135,7 +135,7 @@
   private val language_context_elements =
     Markup.Elements(Markup.STRING, Markup.ALT_STRING, Markup.VERBATIM,
       Markup.CARTOUCHE, Markup.COMMENT, Markup.LANGUAGE,
-      Markup.ML_STRING, Markup.ML_COMMENT)
+      Markup.ML_STRING, Markup.ML_CARTOUCHE, Markup.ML_COMMENT)
 
   private val language_elements = Markup.Elements(Markup.LANGUAGE)
 
@@ -285,7 +285,9 @@
           if (delimited) Some(Completion.Language_Context(language, symbols, antiquotes))
           else None
         case Text.Info(_, elem)
-        if elem.name == Markup.ML_STRING || elem.name == Markup.ML_COMMENT =>
+        if elem.name == Markup.ML_STRING ||
+          elem.name == Markup.ML_CARTOUCHE ||
+          elem.name == Markup.ML_COMMENT =>
           Some(Completion.Language_Context.ML_inner)
         case Text.Info(_, _) =>
           Some(Completion.Language_Context.inner)