Timothy Flynn 435ced70b8 LibWeb: Update the media element's display in a couple situations ...

Mostly seen on macOS, but when we toggle playing a media element, we
need to update its layout node's display to ensure the change is
reflected on the playback button. Further, when setting the element's
display time, we need to update the display to ensure the change is
refelected on the media timeline.

2023-07-03 19:07:26 +02:00

95 KiB

Raw Blame History

View Raw