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