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