src/Tools/jEdit/src/completion_popup.scala
changeset 55828 42ac3cfb89f6
parent 55825 694833e3e4a0
child 55850 7f229b0212fe
     1.1 --- a/src/Tools/jEdit/src/completion_popup.scala	Sat Mar 01 19:55:01 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/completion_popup.scala	Sat Mar 01 22:46:31 2014 +0100
     1.3 @@ -150,7 +150,7 @@
     1.4            val context =
     1.5              (opt_rendering orElse PIDE.document_view(text_area).map(_.get_rendering()) match {
     1.6                case Some(rendering) =>
     1.7 -                rendering.language_context(before_caret_range(rendering))
     1.8 +                rendering.completion_language(before_caret_range(rendering))
     1.9                case None => None
    1.10              }) getOrElse syntax.language_context
    1.11