# HG changeset patch
# User wenzelm
# Date 1386369388 -3600
# Node ID 47e61b768814f9d7a46f41c56b510a6e291c8419
# Parent  795f8d3e06c98ef38896b7d2d9ea38172825715c
NEWS;

diff -r 795f8d3e06c9 -r 47e61b768814 NEWS
--- a/NEWS	Fri Dec 06 23:34:14 2013 +0100
+++ b/NEWS	Fri Dec 06 23:36:28 2013 +0100
@@ -9,6 +9,9 @@
 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.
 Open text buffers take precedence over copies within the file-system.
 
+* Document panel: simplied interaction where every single mouse click
+(re)opens document via desktop environment or as jEdit buffer.
+
 
 *** HOL ***