diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2024-11-30 09:13:34 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-30 14:13:34 +0000 |
| commit | 3b5ffabbca11885a07c57a689df439163b0ba1c7 (patch) | |
| tree | 1a2f015a7a9b812b93ded775742b020a99a84fc6 /components/script/dom/htmlmediaelement.rs | |
| parent | 82bbff45b30a567d779296f5611fd3ef65f6f16a (diff) | |
| download | servo-3b5ffabbca11885a07c57a689df439163b0ba1c7.tar.gz servo-3b5ffabbca11885a07c57a689df439163b0ba1c7.zip | |
script: Dirty video element when clearing video frame data. (#34435)
Signed-off-by: Josh Matthews <josh@joshmatthews.net>
Diffstat (limited to 'components/script/dom/htmlmediaelement.rs')
| -rw-r--r-- | components/script/dom/htmlmediaelement.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/components/script/dom/htmlmediaelement.rs b/components/script/dom/htmlmediaelement.rs index 7aeb765091f..e7b2fdbb30e 100644 --- a/components/script/dom/htmlmediaelement.rs +++ b/components/script/dom/htmlmediaelement.rs @@ -1985,7 +1985,8 @@ impl HTMLMediaElement { pub fn clear_current_frame_data(&self) { self.handle_resize(None, None); - self.video_renderer.lock().unwrap().current_frame = None + self.video_renderer.lock().unwrap().current_frame = None; + self.upcast::<Node>().dirty(NodeDamage::OtherNodeDamage); } fn handle_resize(&self, width: Option<u32>, height: Option<u32>) { |