Re: Slow motion while editing

[Guillaume Pothier]

Make sure the profiler runs a little bit longer. 20 seconds cumulative
or so. With 4.74 seconds there's a lot of statistical noise.

Done, now 23s.
I updated the file at the same URL: http://www.dcc.uchile.cl/~gpothier/gprof.out