search

divi255 / sphinxcontrib.asciinema

Easily embed asciinema videos into Sphinx documentation
MIT License
17 stars 11 forks source link

update asciinema from 2.6.1 to 3.6.3 #24

Closed PierreMarchand20 closed 8 months ago

PierreMarchand20 commented 8 months ago

See https://blog.asciinema.org/post/whats-new-in-the-player/ for all the updates available for asciinema-player.

In particular, it is 4x smaller, 50x faster according to the author. Note that the options changed, so this PR changes the interface with Sphinx to accommodate new and deprecated options, and it is easy now to change the font used by asciinema-player. Thus, I suggest to remove the default font PowerlineSymbol which is contained in this extension since it can easily be done by the user directly (and thus it fixes #19 😄)

divi255 commented 8 months ago

thanks. merged. happy holidays!

PierreMarchand20 commented 8 months ago

Thank you! Happy holidays