Display File Size -data is lost if user presses Play Song or Play Range

[esaruoho]

Steps to replicate:

1. Tick "Display File Size" tickbox. See JavaScript + Compressed size.
2. Press Play Song, or Play Range.

Expected result:
You still see the JavaScript + Compressed size.

Current result:
The JavaScript + Compressedi size information is overwritten by Generation time 0.048s.

The Display File Size tickbox is still ticked. If you untick it, the Generation time data vanishes. If you re-tick it, you see the JavaScript + Compressed size.

Suggestion: Add "Generation time" below the JavaScript + Compressed size details when user presses "Play song" or "Play range".