I feel like there is a better way to do this, I just don't know how. I've tried using the gtk.scale to seek the position for the video, and update its own position accordingly, but it seems like the scale is meant for setting values rather than showing something like time in a smooth animation. I'm making a video streaming application in python using vlc and gtk.