Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-10-05 11:09:22 +01:00
Code Issues Projects Releases Packages Wiki Activity

auto merge of #2425 : saneyuki/servo/window_helper, r=jdm

Browse source 
Fix #2418
This commit is contained in:
bors-servo 2014-05-14 00:55:17 -04:00
commit 049fa56fff
3 changed files with 35 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/components/script/script_task.rs
View file

@ -20,7 +20,7 @@ use dom::uievent::UIEvent;
use dom::eventtarget::{EventTarget, EventTargetHelpers};
use dom::node;
use dom::node::{Node, NodeHelpers};
use dom::window::{TimerId, Window};
use dom::window::{TimerId, Window, WindowHelpers};
use html::hubbub_html_parser::HtmlParserResult;
use html::hubbub_html_parser::{HtmlDiscoveredStyle, HtmlDiscoveredScript};
use html::hubbub_html_parser;