# HG changeset patch
# User wenzelm
# Date 1392915446 -3600
# Node ID d8eb606cf321531a854e1cc3cf9fd1b88d6f3840
# Parent  d5240907713575fbc29d6afe298e30ad69744b0a
complete symbols within ML strings / comments;

diff -r d52409077135 -r d8eb606cf321 src/Tools/jEdit/src/rendering.scala
--- a/src/Tools/jEdit/src/rendering.scala	Thu Feb 20 17:51:16 2014 +0100
+++ b/src/Tools/jEdit/src/rendering.scala	Thu Feb 20 17:57:26 2014 +0100
@@ -204,13 +204,16 @@
 
   private val completion_elements =
     Set(Markup.STRING, Markup.ALTSTRING, Markup.VERBATIM, Markup.CARTOUCHE,
-      Markup.COMMENT, Markup.LANGUAGE)
+      Markup.COMMENT, Markup.LANGUAGE, Markup.ML_STRING, Markup.ML_COMMENT)
 
   def completion_context(caret: Text.Offset): Option[Completion.Context] =
     if (caret > 0) {
       val result =
         snapshot.select_markup(Text.Range(caret - 1, caret + 1), completion_elements, _ =>
           {
+            case Text.Info(_, elem)
+            if elem.name == Markup.ML_STRING || elem.name == Markup.ML_COMMENT =>
+              Some(Completion.Context(Markup.Language.ML, true))
             case Text.Info(_, XML.Elem(Markup.Language(language, symbols), _)) =>
               Some(Completion.Context(language, symbols))
             case Text.Info(_, XML.Elem(markup, _)) =>