improved completion based on context information;
authorwenzelm
Fri Feb 21 17:00:45 2014 +0100 (2014-02-21)
changeset 556545ff4742f27ec
parent 55653 528de9a20054
child 55655 af028f35af60
improved completion based on context information;
NEWS
     1.1 --- a/NEWS	Fri Feb 21 16:55:54 2014 +0100
     1.2 +++ b/NEWS	Fri Feb 21 17:00:45 2014 +0100
     1.3 @@ -32,6 +32,11 @@
     1.4  * Improved support for Isabelle/ML, with jEdit mode "isabelle-ml" for
     1.5  auxiliary ML files.
     1.6  
     1.7 +* Improved completion based on context information about embedded
     1.8 +languages: keywords are only completed for outer syntax, symbols for
     1.9 +languages that support them.  E.g. no symbol completion for ML source,
    1.10 +but within ML strings, comments, antiquotations.
    1.11 +
    1.12  * Document panel: simplied interaction where every single mouse click
    1.13  (re)opens document via desktop environment or as jEdit buffer.
    1.14