no extend_word for now, it is in conflict with manual reformatting of sources via TAB (e.g. accidental replacement of 'assume' by 'assumes');

--- 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
       }