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.

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

Switch to video? #31

Closed
cpsievert opened this issue Dec 14, 2018 · 1 comment
Closed

Switch to video? #31

cpsievert opened this issue Dec 14, 2018 · 1 comment

Comments

@cpsievert
Copy link
Owner

cpsievert commented Dec 14, 2018

Currently gifs autoplay, which can be quite distracting and annoying for longer gifs if you want to revisit a particular section

One option is to add play/pause to gifs with http://rubentd.com/gifplayer/

Assuming we can get Figure numbering working, embedding vimeos might be a better option. Note that you can embed without the cruft with https://player.vimeo.com/video/257149623?title=0&byline=0&portrait=0

@cpsievert cpsievert changed the title Click gifs to play/pause? Switch to video? Dec 20, 2018
@cpsievert
Copy link
Owner Author

Done in #29

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant