src/Tools/jEdit/src/completion_popup.scala
changeset 67005 11fca474d87a
parent 67004 af72fa58f71b
child 67014 e6a695d6a6b2
     1.1 --- a/src/Tools/jEdit/src/completion_popup.scala	Sat Nov 04 17:11:21 2017 +0100
     1.2 +++ b/src/Tools/jEdit/src/completion_popup.scala	Sat Nov 04 18:57:49 2017 +0100
     1.3 @@ -173,7 +173,7 @@
     1.4            for {
     1.5              line_text <- JEdit_Lib.try_get_text(buffer, line_range)
     1.6              result <-
     1.7 -              syntax.completion.complete(
     1.8 +              syntax.complete(
     1.9                  history, unicode, explicit, line_start, line_text, caret - line_start, context)
    1.10            } yield result
    1.11  
    1.12 @@ -483,7 +483,7 @@
    1.13  
    1.14            val context = syntax.language_context
    1.15  
    1.16 -          syntax.completion.complete(history, true, false, 0, text, caret, context) match {
    1.17 +          syntax.complete(history, true, false, 0, text, caret, context) match {
    1.18              case Some(result) =>
    1.19                val fm = text_field.getFontMetrics(text_field.getFont)
    1.20                val loc =