src/Tools/jEdit/src/completion_popup.scala
changeset 55690 d73949233c2e
parent 55666 cc350eb1087e
child 55692 19e8b00684f7
     1.1 --- a/src/Tools/jEdit/src/completion_popup.scala	Sun Feb 23 15:38:21 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/completion_popup.scala	Sun Feb 23 16:08:38 2014 +0100
     1.3 @@ -115,7 +115,9 @@
     1.4              val context =
     1.5                (PIDE.document_view(text_area) match {
     1.6                  case None => None
     1.7 -                case Some(doc_view) => doc_view.get_rendering().completion_context(caret)
     1.8 +                case Some(doc_view) =>
     1.9 +                  val rendering = doc_view.get_rendering()
    1.10 +                  rendering.completion_context(JEdit_Lib.stretch_point_range(buffer, caret))
    1.11                }) getOrElse syntax.completion_context
    1.12  
    1.13              syntax.completion.complete(history, decode, explicit, text, context) match {