private void OnBuffering (IntPtr player, int progress) { if (buffering_finished && progress >= 100) { return; } buffering_finished = progress >= 100; OnEventChanged (new PlayerEventBufferingArgs ((double) progress / 100.0)); }