Console tool, is setting "Analyse line execution times" used?

Hi,

I noticed the log contains "Analyse line execution times = 'True'", I would guess this setitng doesn't matter with console tool, but is it so?

Maybe "(Not used)" suffix or similar to distinguish settings valid for the console tool would be a good idea to help out users figuring out what settings are applicable or not ?

Thanks.

Actually, this setting IS used by the console tool.

Though it's probably entirely ineffective, since right now we don't have any way to actually report the performance data.

It might be wise to turn it off in your console tool configuration.