# HG changeset patch
# User wenzelm
# Date 1381756905 -7200
# Node ID a38160ad741c23295804b7dcfaab30176b2bb33a
# Parent  9e944630be0c7c35020af9d5f7b34f4dc34d9b2d
tuned;

diff -r 9e944630be0c -r a38160ad741c NEWS
--- a/NEWS	Sat Oct 12 19:41:59 2013 +0200
+++ b/NEWS	Mon Oct 14 15:21:45 2013 +0200
@@ -64,7 +64,10 @@
 normal editing and checking process.
 
 * Dockable window "Timing" provides an overview of relevant command
-timing information.
+timing information, depending on option jedit_timing_threshold.  The
+same timing information is shown in the extended tooltip of the
+command keyword, when hovering the mouse over it while the CONTROL or
+COMMAND modifier is pressed.
 
 * Improved dockable window "Theories": Continuous checking of proof
 document (visible and required parts) may be controlled explicitly,