Hi, would it be possible to add seconds_played and milliseconds to the gmplayer themes (something like $xx format strings) ? I use this for subtitle synchronization and I need precise timing info. I'm quite happy with command line, but I think that more users would appreciate that... Thank you