[Replay] Le sleep entre les packets n'est pas reset quand on utilise la scroll bar

[MaitreMenard]

Après avoir produit un packet, le FileDataProducer fait un time.sleep d'une durée égale à l'intervale entre le packet courant et le suivant, puis produit celui-ci. Cependant, si on change la vitesse de lecture ou si on utilise la scroll bar, le time.sleep n'est pas reset et on doit attendre qu'il termine avant de voir la prochaine mise à jour du UI.

Ce comportement est peu perceptible si les packets sont rapprochés, mais devient problématique s'il y a un grand intervale entre deux packets successifs (voir irec_2019-06-19_16h31m-part2.csv où il y a un intervale d'environ 40 secondes entre le 3e et le 4e packet).

Une solution possible serait de remplacer les time.sleep par un threading.event, qu'on peut interrompre lorsque le FileDataProducer reçoit un événement externe.