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