# HG changeset patch
# User wenzelm
# Date 1393812825 -3600
# Node ID 7f229b0212fe3b581b9b1e05268bc14475f151ce
# Parent  3a2ad5ccc1c8e075b0b73f4c4cbeaf629351ec25
no extend_word for now, it is in conflict with manual reformatting of sources via TAB (e.g. accidental replacement of 'assume' by 'assumes');

diff -r 3a2ad5ccc1c8 -r 7f229b0212fe src/Tools/jEdit/src/completion_popup.scala
--- 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
       }