Re: [isabelle] RC2 for testing; Toplevel.timing has no affect anymore
On 10/14/2013 1:27 PM, Gottfried Barrow wrote:
The default of 0.1ms [<-- should be second] threshold prevents
anything less than 100ms from showing the time in the tooltip window.
It's the "Plugin Options/Isabelle/General/Timing Threshold" setting that
affects whether the tooltip will display the time, rather than the
timing panel threshold, so everything works.
This archive was generated by a fusion of
Pipermail (Mailman edition) and