title: How do I get libvlc_media_player_get_time() to return a more accurate result?
body: <p>With libvlc, how do I get libvlc_media_player_get_time() to return a more accurate result? With 60fps video the value it returns is only updated a few times per second at most. Is there any way to get frame accurate timing?</p>