# HG changeset patch
# User wenzelm
# Date 1377863157 -7200
# Node ID d8ad101cc6849e04ce2df8ab96b2750aa0f483e9
# Parent  ffabc0083786a6376bd3f79980775be48a73fb37
NEWS;

diff -r ffabc0083786 -r d8ad101cc684 NEWS
--- a/NEWS	Fri Aug 30 13:24:14 2013 +0200
+++ b/NEWS	Fri Aug 30 13:45:57 2013 +0200
@@ -90,18 +90,41 @@
 according to Isabelle/Scala plugin option "jedit_font_reset_size"
 (cf. keyboard shortcut C+0).
 
-* More reactive and less intrusive completion, managed by
-Isabelle/jEdit instead of SideKick.  Plain words need to be at least 3
-characters long to be completed (was 2 before).  Symbols are only
-completed in backslash forms, e.g. \forall or \<forall> that both
-produce the Isabelle symbol \<forall> in its Unicode rendering.
-
-* Standard jEdit completion via C+b uses action isabelle.complete
-with fall-back on complete-word for non-Isabelle buffers.
-
 * Improved support for Linux look-and-feel "GTK+", see also "Utilities
 / Global Options / Appearance".
 
+* Improved completion mechanism, which is now managed by the
+Isabelle/jEdit plugin instead of SideKick.
+
+  - Various Isabelle plugin options to control popup behaviour and
+    immediate insertion into buffer.
+
+  - Light-weight popup, which avoids explicit window (more reactive
+    and more robust).  Interpreted key events: TAB, ESCAPE, UP, DOWN,
+    PAGE_UP, PAGE_DOWN.  All other key events are passed to the jEdit
+    text area unchanged.
+
+  - Explicit completion via standard jEdit shortcut C+b, which has
+    been remapped to action "isabelle.complete" (fall-back on regular
+    "complete-word" for non-Isabelle buffers).
+
+  - Implicit completion via keyboard input on text area, with popup or
+    immediate insertion into buffer.
+
+  - Implicit completion of plain words requires at least 3 characters
+    (was 2 before).
+
+  - Immediate completion ignores plain words; it requires > 1
+    characters of symbol abbreviation to complete, otherwise fall-back
+    on completion popup.
+
+  - Isabelle Symbols are only completed in backslashed forms,
+    e.g. \forall or \<forall> that both produce the Isabelle symbol
+    \<forall> in its Unicode rendering.
+
+  - Refined table of Isabelle symbol abbreviations (see
+    $ISABELLE_HOME/etc/symbols).
+
 
 *** Pure ***