# HG changeset patch # User wenzelm # Date 1393244313 -3600 # Node ID 2a6a8f9d52e1f48a91d562b961e31c19bce5258f # Parent bc04f1ab3c3a54c7ea4f50aae06aef6bdf597bd4 tuned; diff -r bc04f1ab3c3a -r 2a6a8f9d52e1 NEWS --- a/NEWS Mon Feb 24 13:16:50 2014 +0100 +++ b/NEWS Mon Feb 24 13:18:33 2014 +0100 @@ -35,9 +35,10 @@ 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. +languages: keywords are only completed for outer syntax, symbols or +antiquotations 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.