diff -r a1cd4126a1c4 -r 96301c704463 NEWS
--- a/NEWS	Sat Aug 31 00:40:21 2013 +0200
+++ b/NEWS	Sat Aug 31 12:14:19 2013 +0200
@@ -100,9 +100,9 @@
     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.
+    and more robust).  Interpreted key events include TAB, ESCAPE, UP,
+    DOWN, PAGE_UP, PAGE_DOWN.  Uninterpreted key events are passed to
+    the jEdit text area.
 
   - Explicit completion via standard jEdit shortcut C+b, which has
     been remapped to action "isabelle.complete" (fall-back on regular