// update the current time
private void media_timer(MediaTimerEventArgs args)
{
string pretty_time = Utils.PrettyTime (args.Position) + " of " + Utils.PrettyTime (args.Duration);
time.Markup = "<small>" + pretty_time + "</small>";
}
// a media timer event has been raised
private void media_timer(MediaTimerEventArgs args)
{
seek_bar.SetRange (0, args.Duration.TotalSeconds);
seek_bar.Position = args.Position.TotalSeconds;
string pretty_time = Utils.PrettyTime (args.Position) + " of " + Utils.PrettyTime (args.Duration);
current_time.Markup = "<small>" + pretty_time + "</small>";
current_media.Markup = "<small>" + Global.Core.Fuse.MediaControls.MediaInfo + "</small>";
}
