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.

Thanks,
GB




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.