new: repeat button for Play widget, can be hidden#1190
Merged
maartenbreddels merged 5 commits intojupyter-widgets:masterfrom maartenbreddels:repeat-buttonApr 26, 2017
+38-4
Commits
Commits on Apr 26, 2017
- committed
- committed
- committed
- committed
- committed
