mirror of
https://github.com/servo/servo.git
synced 2025-08-05 05:30:08 +01:00
Import DevtoolScriptControlMsg variant directly.
This commit is contained in:
parent
0fbfb8cffc
commit
1748682092
1 changed files with 3 additions and 3 deletions
|
@ -8,7 +8,7 @@
|
||||||
|
|
||||||
use actor::{Actor, ActorRegistry};
|
use actor::{Actor, ActorRegistry};
|
||||||
use actors::console::ConsoleActor;
|
use actors::console::ConsoleActor;
|
||||||
use devtools_traits::DevtoolScriptControlMsg;
|
use devtools_traits::DevtoolScriptControlMsg::WantsLiveNotifications;
|
||||||
use protocol::JsonPacketStream;
|
use protocol::JsonPacketStream;
|
||||||
|
|
||||||
use serialize::json;
|
use serialize::json;
|
||||||
|
@ -101,7 +101,7 @@ impl Actor for TabActor {
|
||||||
console_actor.streams.borrow_mut().push(stream.clone());
|
console_actor.streams.borrow_mut().push(stream.clone());
|
||||||
stream.write_json_packet(&msg);
|
stream.write_json_packet(&msg);
|
||||||
console_actor.script_chan.send(
|
console_actor.script_chan.send(
|
||||||
DevtoolScriptControlMsg::WantsLiveNotifications(console_actor.pipeline, true)).unwrap();
|
WantsLiveNotifications(console_actor.pipeline, true)).unwrap();
|
||||||
true
|
true
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -116,7 +116,7 @@ impl Actor for TabActor {
|
||||||
console_actor.streams.borrow_mut().pop();
|
console_actor.streams.borrow_mut().pop();
|
||||||
stream.write_json_packet(&msg);
|
stream.write_json_packet(&msg);
|
||||||
console_actor.script_chan.send(
|
console_actor.script_chan.send(
|
||||||
DevtoolScriptControlMsg::WantsLiveNotifications(console_actor.pipeline, false)).unwrap();
|
WantsLiveNotifications(console_actor.pipeline, false)).unwrap();
|
||||||
true
|
true
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue