Ipython: Ajoutez des paramètres de hauteur et de largeur à core.display.Video

Je regarde des vidéos dans un cahier. Les vidéos sont plus grandes que la largeur de mon bloc-notes, je ne peux donc pas voir l'ensemble du cadre à moins de faire défiler vers la gauche et la droite. Je voudrais spécifier une hauteur et une largeur afin que je puisse voir l'ensemble du cadre à la fois. Je pense que ce serait plutôt cool s'il pouvait être redimensionné automatiquement, mais je serais heureux de pouvoir définir la hauteur et la largeur.

Je peux poster quelques photos si ça peut aider.

ipython --version
6.5.0
jupyter lab --version
0.34.12

J'ai fait ce travail autour de :

HTML(
    '<video controls width=500>'
    '<source src="video.mp4" type="video/mp4"/>'
    '</video>'
)

Cela ressemble à un simple PR, je pourrais le faire si vous aimez tous ça.