mirror of
https://github.com/servo/servo.git
synced 2025-08-04 05:00:08 +01:00
Notify devtools about new worker globals
This commit is contained in:
parent
5dd43bf84c
commit
1244f9e016
10 changed files with 117 additions and 14 deletions
|
@ -20,7 +20,7 @@ extern crate url;
|
|||
extern crate util;
|
||||
|
||||
use rustc_serialize::{Decodable, Decoder};
|
||||
use msg::constellation_msg::PipelineId;
|
||||
use msg::constellation_msg::{PipelineId, WorkerId};
|
||||
use util::str::DOMString;
|
||||
use url::Url;
|
||||
|
||||
|
@ -41,7 +41,7 @@ pub struct DevtoolsPageInfo {
|
|||
/// according to changes in the browser.
|
||||
pub enum DevtoolsControlMsg {
|
||||
AddClient(TcpStream),
|
||||
NewGlobal(PipelineId, Sender<DevtoolScriptControlMsg>, DevtoolsPageInfo),
|
||||
NewGlobal((PipelineId, Option<WorkerId>), Sender<DevtoolScriptControlMsg>, DevtoolsPageInfo),
|
||||
SendConsoleMessage(PipelineId, ConsoleMessage),
|
||||
ServerExitMsg
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue