changeset 54332 a38160ad741c
parent 54319 219dd1028399
child 54351 5cbe32533cdb
--- 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,