Closed LHolten closed 3 years ago
@schellingb I think you added this feature a long time ago, maybe you know what is going on?
It looks like wxTextOutputStream
is not writing the space between the two numbers.
wxWidgets was recently updated in 9162f34860b71a38005d689ae342a1251e5ef4ba. Perhaps you can check if earlier versions have that problem?
yes looks like that commit removed the space
Profiling gives me these times:
But when I export as callgrind I get a file with these times
By comparing with the picture of the times in very sleepy I conclude that some values (or all values) are off by different powers of 10.
For example compare the lines 154 and 155, in very sleepy these are of the same order, but not in the exported file.