Since 5988473b7624d82cb6c523463eaf66b2a5aa0c5d, time-pos and playback-time are exactly the same so there's a redundancy in the properties. The slight difference that time-pos previously had was both unexpected and not useful at all for script/api users (e.g. virtually nobody handles the seeking edge case time-pos used to have), so I opted to deprecate a property instead. Searching on github suggests that people tend to use, time-pos more. A good chunk of playback-time usage is simply forks from our own OSC which happens to use that, so I figured time-pos is the better property to keep of the two.
playback-time is a pretty old property though so the deprecated alias will likely stay for quite a while.
Since 5988473b7624d82cb6c523463eaf66b2a5aa0c5d,
time-pos
andplayback-time
are exactly the same so there's a redundancy in the properties. The slight difference thattime-pos
previously had was both unexpected and not useful at all for script/api users (e.g. virtually nobody handles the seeking edge casetime-pos
used to have), so I opted to deprecate a property instead. Searching on github suggests that people tend to use,time-pos
more. A good chunk ofplayback-time
usage is simply forks from our own OSC which happens to use that, so I figuredtime-pos
is the better property to keep of the two.playback-time
is a pretty old property though so the deprecated alias will likely stay for quite a while.