Ipython: Hinzufügen von Höhen- und Breitenparametern zu core.display.Video

Ich schaue mir einige Videos in einem Notizbuch an. Die Videos sind größer als die Breite meines Notizbuchs, sodass ich nicht den gesamten Frame sehen kann, es sei denn, ich scrolle nach links und rechts. Ich möchte eine Höhe und Breite angeben, damit ich den gesamten Rahmen auf einmal anzeigen kann. Ich denke, es wäre ziemlich cool, wenn die Größe automatisch geändert werden könnte, aber ich würde mich über die Möglichkeit freuen, die Höhe und Breite einzustellen.

Ich kann ein paar Bilder posten, wenn es hilft.

ipython --version
6.5.0
jupyter lab --version
0.34.12

Ich habe diese Arbeit rund um:

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

Es scheint eine einfache PR zu sein, ich könnte es machen, wenn Sie alle das mögen.