1238
1265
// Because a media element stays in non-paused state when it reaches end, playback resumes
1239
1266
// when the slider is dragged from the end to another position unless we pause first. Do
1240
1267
// a "hard pause" so an event is generated, since we want to stay paused after scrubbing finishes.
1243
1270
// Not at the end but we still want to pause playback so the media engine doesn't try to
1244
1271
// continue playing during scrubbing. Pause without generating an event as we will