Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Do not glob-export DevtoolScriptControlMsg variants.

Browse source
This commit is contained in:
Ruud van Asseldonk 2015-02-13 13:35:31 +01:00
parent 1452614e28
commit 6ff3a5a3c1
5 changed files with 20 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

8
components/devtools/actors/tab.rs
View file

@ -8,7 +8,7 @@
use actor::{Actor, ActorRegistry};
use actors::console::ConsoleActor;
use devtools_traits::WantsLiveNotifications;
use devtools_traits::DevtoolScriptControlMsg;
use protocol::JsonPacketStream;
use serialize::json;
@ -100,7 +100,8 @@ impl Actor for TabActor {
let console_actor = registry.find::<ConsoleActor>(self.console.as_slice());
console_actor.streams.borrow_mut().push(stream.clone());
stream.write_json_packet(&msg);
console_actor.script_chan.send(WantsLiveNotifications(console_actor.pipeline, true)).unwrap();
console_actor.script_chan.send(
DevtoolScriptControlMsg::WantsLiveNotifications(console_actor.pipeline, true)).unwrap();
true
}
@ -114,7 +115,8 @@ impl Actor for TabActor {
let console_actor = registry.find::<ConsoleActor>(self.console.as_slice());
console_actor.streams.borrow_mut().pop();
stream.write_json_packet(&msg);
console_actor.script_chan.send(WantsLiveNotifications(console_actor.pipeline, false)).unwrap();
console_actor.script_chan.send(
DevtoolScriptControlMsg::WantsLiveNotifications(console_actor.pipeline, false)).unwrap();
true
}