// 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>"; }