mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
Do not tie media element 'muted' state change to player availability
This commit is contained in:
parent
af242a0571
commit
0eb2c1d02e
1 changed files with 11 additions and 9 deletions
|
@ -1611,17 +1611,19 @@ impl HTMLMediaElementMethods for HTMLMediaElement {
|
|||
if self.muted.get() == value {
|
||||
return;
|
||||
}
|
||||
|
||||
if let Some(ref player) = *self.player.borrow() {
|
||||
self.muted.set(value);
|
||||
let _ = player.set_mute(value);
|
||||
let window = window_from_node(self);
|
||||
window
|
||||
.task_manager()
|
||||
.media_element_task_source()
|
||||
.queue_simple_event(self.upcast(), atom!("volumechange"), &window);
|
||||
if !self.is_allowed_to_play() {
|
||||
self.internal_pause_steps();
|
||||
}
|
||||
}
|
||||
|
||||
self.muted.set(value);
|
||||
let window = window_from_node(self);
|
||||
window
|
||||
.task_manager()
|
||||
.media_element_task_source()
|
||||
.queue_simple_event(self.upcast(), atom!("volumechange"), &window);
|
||||
if !self.is_allowed_to_play() {
|
||||
self.internal_pause_steps();
|
||||
}
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue