# HG changeset patch # User wenzelm # Date 1392998445 -3600 # Node ID 5ff4742f27ec72fd57a875f6e191be86269ec433 # Parent 528de9a2005443a8f598825261e34574d5612d68 improved completion based on context information; diff -r 528de9a20054 -r 5ff4742f27ec 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.