src/Doc/JEdit/JEdit.thy

   determines an additional delay (0.5 by default), before opening a completion
   popup.  The delay gives the prover a chance to provide semantic completion
   information, notably the context (\secref{sec:completion-context}).
 
   \item The system option @{system_option_ref jedit_completion_immediate}
-  (disabled by default) controls whether replacement text should be inserted
+  (enabled by default) controls whether replacement text should be inserted
   immediately without popup, regardless of @{system_option
   jedit_completion_delay}. This aggressive mode of completion is restricted to
   Isabelle symbols and their abbreviations (\secref{sec:symbols}).
 
   \item Completion of symbol abbreviations with only one relevant