diff -r 2e1398b484aa -r 75a48dc4383e src/Tools/jEdit/src/completion_popup.scala --- a/src/Tools/jEdit/src/completion_popup.scala Tue Feb 25 20:46:09 2014 +0100 +++ b/src/Tools/jEdit/src/completion_popup.scala Tue Feb 25 20:57:57 2014 +0100 @@ -144,9 +144,9 @@ val context = (opt_rendering orElse PIDE.document_view(text_area).map(_.get_rendering()) match { case Some(rendering) => - rendering.completion_context(JEdit_Lib.stretch_point_range(buffer, caret)) + rendering.language_context(JEdit_Lib.stretch_point_range(buffer, caret)) case None => None - }) getOrElse syntax.completion_context + }) getOrElse syntax.language_context syntax.completion.complete(history, decode, explicit, start, text, word_context, context) @@ -392,7 +392,7 @@ Completion.word_context(JEdit_Lib.try_get_text(text_field.getText, Text.Range(caret, caret + 1))) // FIXME proper point range!? - val context = syntax.completion_context + val context = syntax.language_context syntax.completion.complete(history, true, false, 0, text, word_context, context) match { case Some(result) =>