Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove MediaController and media element's mediagroup attribute #1225

Merged
merged 4 commits into from
May 11, 2016
Merged

Remove MediaController and media element's mediagroup attribute #1225

merged 4 commits into from
May 11, 2016

Commits on May 10, 2016

  1. Remove MediaController and media element's mediagroup attribute 

    This reverts 66c5b32 due to lack of
implementer interest. This is unfortunate as simultaneous playback of
multiple media elements is impossible to do correctly without it.

Hopefully an alternative solution with broader support can be found
going forward.

Fixes #192.
    @annevk
    annevk committed May 10, 2016
    Configuration menu
    Copy the full SHA
    5c6a24d View commit details
    Browse the repository at this point in the history

Commits on May 11, 2016

  1. no need to set jumped to true the second time

    @annevk
    annevk committed May 11, 2016
    Configuration menu
    Copy the full SHA
    9bc614d View commit details
    Browse the repository at this point in the history

  2. playback *has* ended

    @annevk
    annevk committed May 11, 2016
    Configuration menu
    Copy the full SHA
    9ebb4ba View commit details
    Browse the repository at this point in the history

  3. effective playback rate -> the element's playbackRate

    @annevk
    annevk committed May 11, 2016
    Configuration menu
    Copy the full SHA
    fd0e1fc View commit details
    Browse the repository at this point in the history