mirror of
https://github.com/servo/servo.git
synced 2025-08-03 12:40:06 +01:00
parent
6d2f70a4fd
commit
be2cb665de
19 changed files with 315 additions and 68 deletions
|
@ -44,6 +44,7 @@ pub struct DevtoolsPageInfo {
|
|||
/// according to changes in the browser.
|
||||
pub enum DevtoolsControlMsg {
|
||||
AddClient(TcpStream),
|
||||
FramerateTick(String, f64),
|
||||
NewGlobal((PipelineId, Option<WorkerId>), Sender<DevtoolScriptControlMsg>, DevtoolsPageInfo),
|
||||
SendConsoleMessage(PipelineId, ConsoleMessage),
|
||||
ServerExitMsg,
|
||||
|
@ -121,6 +122,7 @@ pub enum DevtoolScriptControlMsg {
|
|||
WantsLiveNotifications(PipelineId, bool),
|
||||
SetTimelineMarkers(PipelineId, Vec<TimelineMarkerType>, Sender<TimelineMarker>),
|
||||
DropTimelineMarkers(PipelineId, Vec<TimelineMarkerType>),
|
||||
RequestAnimationFrame(PipelineId, Box<Fn(f64, ) + Send>),
|
||||
}
|
||||
|
||||
#[derive(RustcEncodable)]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue