mirror of
https://github.com/servo/servo.git
synced 2025-08-03 12:40:06 +01:00
Add url getter to Page and fix users of Page url with it.(fixes #1762)
This commit is contained in:
parent
94a12469f0
commit
8fc5ba5dc6
5 changed files with 13 additions and 7 deletions
|
@ -75,7 +75,7 @@ impl HTMLObjectElement {
|
|||
if "data" == name {
|
||||
let document = self.htmlelement.element.node.owner_doc();
|
||||
let window = document.get().window.clone();
|
||||
let url = window.get().page.url.as_ref().map(|&(ref url, _)| url.clone());
|
||||
let url = Some(window.get().get_url());
|
||||
self.process_data_url(window.get().image_cache_task.clone(), url);
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue