src/Tools/jEdit/src/completion_popup.scala
changeset 55828 42ac3cfb89f6
parent 55825 694833e3e4a0
child 55850 7f229b0212fe
equal deleted inserted replaced
55827:8a881f83e206 55828:42ac3cfb89f6
   148           val line_text = buffer.getSegment(line_start, line_length)
   148           val line_text = buffer.getSegment(line_start, line_length)
   149 
   149 
   150           val context =
   150           val context =
   151             (opt_rendering orElse PIDE.document_view(text_area).map(_.get_rendering()) match {
   151             (opt_rendering orElse PIDE.document_view(text_area).map(_.get_rendering()) match {
   152               case Some(rendering) =>
   152               case Some(rendering) =>
   153                 rendering.language_context(before_caret_range(rendering))
   153                 rendering.completion_language(before_caret_range(rendering))
   154               case None => None
   154               case None => None
   155             }) getOrElse syntax.language_context
   155             }) getOrElse syntax.language_context
   156 
   156 
   157           syntax.completion.complete(
   157           syntax.completion.complete(
   158             history, decode, explicit, line_start, line_text, caret - line_start, true, context)
   158             history, decode, explicit, line_start, line_text, caret - line_start, true, context)