mirror of
https://github.com/servo/servo.git
synced 2025-06-26 10:04:33 +01:00
Make the HTML parser parse into the document rather than an element.
This removes the duplicate html element.
This commit is contained in:
parent
800c2b3c0f
commit
dc6dbc63af
5 changed files with 18 additions and 32 deletions
|
@ -701,7 +701,7 @@ impl ScriptTask {
|
|||
self.constellation_chan.clone());
|
||||
|
||||
|
||||
let HtmlParserResult {root, discovery_port} = html_parsing_result;
|
||||
let HtmlParserResult {discovery_port} = html_parsing_result;
|
||||
|
||||
// Create the root frame.
|
||||
page.frame = Some(Frame {
|
||||
|
@ -741,11 +741,8 @@ impl ScriptTask {
|
|||
}
|
||||
}
|
||||
|
||||
// Tie the root into the document. This will kick off the initial reflow
|
||||
// of the page.
|
||||
// FIXME: We have no way to ensure that the first reflow performed is a
|
||||
// ReflowForDisplay operation.
|
||||
document.set_root(root);
|
||||
// Kick off the initial reflow of the page.
|
||||
document.document().content_changed();
|
||||
|
||||
// No more reflow required
|
||||
page.url = Some((url, false));
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue