tuned;
authorwenzelm
Mon Oct 14 15:21:45 2013 +0200 (2013-10-14)
changeset 54332a38160ad741c
parent 54331 9e944630be0c
child 54333 ce028cf2e58e
tuned;
NEWS
     1.1 --- a/NEWS	Sat Oct 12 19:41:59 2013 +0200
     1.2 +++ b/NEWS	Mon Oct 14 15:21:45 2013 +0200
     1.3 @@ -64,7 +64,10 @@
     1.4  normal editing and checking process.
     1.5  
     1.6  * Dockable window "Timing" provides an overview of relevant command
     1.7 -timing information.
     1.8 +timing information, depending on option jedit_timing_threshold.  The
     1.9 +same timing information is shown in the extended tooltip of the
    1.10 +command keyword, when hovering the mouse over it while the CONTROL or
    1.11 +COMMAND modifier is pressed.
    1.12  
    1.13  * Improved dockable window "Theories": Continuous checking of proof
    1.14  document (visible and required parts) may be controlled explicitly,