some NEWS;
Thu, 06 Mar 2014 21:33:15 +0100
changeset 55963 a8ebafaa56d4
parent 55962 fbd0e768bc8f
child 55964 acdde1a5faa0
some NEWS;
--- a/NEWS	Thu Mar 06 21:32:09 2014 +0100
+++ b/NEWS	Thu Mar 06 21:33:15 2014 +0100
@@ -40,6 +40,13 @@
 completion for ML source, but within ML strings, comments,
+* Semantic completions may get extended by appending a suffix of
+underscores to an already recognized name, e.g. "foo_" to complete
+"foo" or "foobar" if these are known in the context.  The special
+identifier "__" serves as a wild-card in this respect: it completes to
+the full collection of names from the name space (truncated according
+to the system option "completion_limit").
 * Document panel: simplied interaction where every single mouse click
 (re)opens document via desktop environment or as jEdit buffer.