diff options
| author | bors-servo <metajack+bors@gmail.com> | 2015-07-27 11:09:38 -0600 |
|---|---|---|
| committer | bors-servo <metajack+bors@gmail.com> | 2015-07-27 11:09:38 -0600 |
| commit | 4bc1db3fe85f2a1a04536f0f6045b53b1319f4bc (patch) | |
| tree | 9197781ac4797593cdb81ae9e1a6539d5cd7536e /components/script/dom/console.rs | |
| parent | 5cf662fb9759924e75d3bfe77f1b7607e9961bcb (diff) | |
| parent | 164e10202c48eb96444a6e86990d709213893877 (diff) | |
| download | servo-4bc1db3fe85f2a1a04536f0f6045b53b1319f4bc.tar.gz servo-4bc1db3fe85f2a1a04536f0f6045b53b1319f4bc.zip | |
Auto merge of #6745 - pcwalton:devtools-ipc, r=jdm
devtools: Convert the developer tools to run over IPC.
This was a large, invasive change.
r? @jdm
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/6745)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/console.rs')
| -rw-r--r-- | components/script/dom/console.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/components/script/dom/console.rs b/components/script/dom/console.rs index 6f4c021796f..ba46f5b3ab9 100644 --- a/components/script/dom/console.rs +++ b/components/script/dom/console.rs @@ -8,7 +8,7 @@ use dom::bindings::global::{GlobalRef, GlobalField}; use dom::bindings::js::Root; use dom::bindings::utils::{Reflector, reflect_dom_object}; use dom::window::WindowHelpers; -use devtools_traits::{DevtoolsControlMsg, ConsoleMessage, LogLevel}; +use devtools_traits::{ConsoleMessage, LogLevel, ScriptToDevtoolsControlMsg}; use util::str::DOMString; // https://developer.mozilla.org/en-US/docs/Web/API/Console @@ -101,7 +101,7 @@ fn propagate_console_msg(console: &&Console, console_message: ConsoleMessage) { GlobalRef::Window(window_ref) => { let pipelineId = window_ref.pipeline(); console.global.root().r().as_window().devtools_chan().as_ref().map(|chan| { - chan.send(DevtoolsControlMsg::SendConsoleMessage( + chan.send(ScriptToDevtoolsControlMsg::SendConsoleMessage( pipelineId, console_message.clone())).unwrap(); }); }, |