public void SetPercent(int v) { MediaPlayer.StandardInput.WriteLine(string.Format("set_property percent_pos {0}", v)); MediaPlayer.StandardInput.Flush(); }