diff options
author | Ruud van Asseldonk <dev@veniogames.com> | 2015-02-13 13:15:14 +0100 |
---|---|---|
committer | Ruud van Asseldonk <dev@veniogames.com> | 2015-02-13 14:51:10 +0100 |
commit | 1452614e2872ca389571ff5a063a64022e27b6a6 (patch) | |
tree | e8790e492711fc5ef48cf7cf598cf8903f47dada /components/script/script_task.rs | |
parent | 66f4faf44fbc6e8703d4336219a20dd3b19fb493 (diff) | |
download | servo-1452614e2872ca389571ff5a063a64022e27b6a6.tar.gz servo-1452614e2872ca389571ff5a063a64022e27b6a6.zip |
Do not glob-export DevtoolsControlMsg variants.
Diffstat (limited to 'components/script/script_task.rs')
-rw-r--r-- | components/script/script_task.rs | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/components/script/script_task.rs b/components/script/script_task.rs index 7e9269442e1..b28fcc95bff 100644 --- a/components/script/script_task.rs +++ b/components/script/script_task.rs @@ -41,8 +41,8 @@ use page::{Page, IterablePage, Frame}; use timers::TimerId; use devtools; -use devtools_traits::{DevtoolsControlChan, DevtoolsControlPort, NewGlobal, GetRootNode, DevtoolsPageInfo}; -use devtools_traits::{DevtoolScriptControlMsg, EvaluateJS, GetDocumentElement}; +use devtools_traits::{DevtoolsControlChan, DevtoolsControlPort, GetRootNode, DevtoolsPageInfo}; +use devtools_traits::{DevtoolsControlMsg, DevtoolScriptControlMsg, EvaluateJS, GetDocumentElement}; use devtools_traits::{GetChildren, GetLayout, ModifyAttribute, WantsLiveNotifications}; use script_traits::CompositorEvent; use script_traits::CompositorEvent::{ResizeEvent, ReflowEvent, ClickEvent}; @@ -947,8 +947,9 @@ impl ScriptTask { title: document.r().Title(), url: final_url }; - chan.send(NewGlobal(pipeline_id, self.devtools_sender.clone(), - page_info)).unwrap(); + chan.send(DevtoolsControlMsg::NewGlobal(pipeline_id, + self.devtools_sender.clone(), + page_info)).unwrap(); } } } |