As it is currently implemented, modifying the current time property of the midi player while it is playing will not work as intended. It may be worth modifying the setter for this property so it updates the track_index_offsets when the time is changed.
As of right now, setting the current time to a smaller value will not update track_index_offsets and thus the player will only consider events after the set track_index_offsets which will be after the set current time. Similarly, setting times in the future will cause the player to emit all intermediate events all at once because the track_index_offsets is not updated.
As it is currently implemented, modifying the current time property of the midi player while it is playing will not work as intended. It may be worth modifying the
setterfor this property so it updates thetrack_index_offsetswhen the time is changed.As of right now, setting the current time to a smaller value will not update
track_index_offsetsand thus the player will only consider events after the settrack_index_offsetswhich will be after the set current time. Similarly, setting times in the future will cause the player to emit all intermediate events all at once because thetrack_index_offsetsis not updated.