src/Tools/jEdit/src/completion_popup.scala
changeset 55850 7f229b0212fe
parent 55828 42ac3cfb89f6
child 55914 c5b752d549e3
     1.1 --- a/src/Tools/jEdit/src/completion_popup.scala	Sun Mar 02 22:43:20 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/completion_popup.scala	Mon Mar 03 03:13:45 2014 +0100
     1.3 @@ -155,7 +155,7 @@
     1.4              }) getOrElse syntax.language_context
     1.5  
     1.6            syntax.completion.complete(
     1.7 -            history, decode, explicit, line_start, line_text, caret - line_start, true, context)
     1.8 +            history, decode, explicit, line_start, line_text, caret - line_start, false, context)
     1.9  
    1.10          case None => None
    1.11        }