mirror of
https://github.com/servo/servo.git
synced 2025-07-22 23:03:42 +01:00
Replace HTMLScriptElement::mark_script_already_started by set_script_already_started
This commit is contained in:
parent
e8e7c6545d
commit
2ef1437457
3 changed files with 5 additions and 5 deletions
|
@ -538,8 +538,8 @@ impl HTMLScriptElement {
|
|||
is_js
|
||||
}
|
||||
|
||||
pub fn mark_already_started(&self) {
|
||||
self.already_started.set(true);
|
||||
pub fn set_already_started(&self, already_started: bool) {
|
||||
self.already_started.set(already_started);
|
||||
}
|
||||
|
||||
fn dispatch_event(&self,
|
||||
|
@ -599,7 +599,7 @@ impl VirtualMethods for HTMLScriptElement {
|
|||
|
||||
// https://html.spec.whatwg.org/multipage/#already-started
|
||||
if self.already_started.get() {
|
||||
copy.downcast::<HTMLScriptElement>().unwrap().mark_already_started();
|
||||
copy.downcast::<HTMLScriptElement>().unwrap().set_already_started(true);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue