src/Tools/jEdit/src/completion_popup.scala
changeset 55850 7f229b0212fe
parent 55828 42ac3cfb89f6
child 55914 c5b752d549e3
equal deleted inserted replaced
55849:3a2ad5ccc1c8 55850:7f229b0212fe
   153                 rendering.completion_language(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, false, context)
   159 
   159 
   160         case None => None
   160         case None => None
   161       }
   161       }
   162     }
   162     }
   163 
   163