diff options
author | Alex Touchet <alextouchet@outlook.com> | 2018-09-11 09:06:42 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-11 09:06:42 -0700 |
commit | 025b5550fc6f1fd74605b09973ffc606dae7432c (patch) | |
tree | 7dfb1026318b7a0135273b667d3f44e3ee8d737d /components/devtools_traits/lib.rs | |
parent | 9a7e1d17f0e054cb9f7eaafeee943a2ec5bc5e26 (diff) | |
parent | 049eb6887e29d8409b1dfe55bc31803f1c3220da (diff) | |
download | servo-025b5550fc6f1fd74605b09973ffc606dae7432c.tar.gz servo-025b5550fc6f1fd74605b09973ffc606dae7432c.zip |
Merge branch 'master' into tidy
Diffstat (limited to 'components/devtools_traits/lib.rs')
-rw-r--r-- | components/devtools_traits/lib.rs | 29 |
1 files changed, 20 insertions, 9 deletions
diff --git a/components/devtools_traits/lib.rs b/components/devtools_traits/lib.rs index fe0f91c7e52..764af5da0a2 100644 --- a/components/devtools_traits/lib.rs +++ b/components/devtools_traits/lib.rs @@ -8,7 +8,6 @@ #![crate_name = "devtools_traits"] #![crate_type = "rlib"] - #![allow(non_snake_case)] #![deny(unsafe_code)] @@ -17,9 +16,11 @@ extern crate bitflags; extern crate hyper; extern crate ipc_channel; extern crate malloc_size_of; -#[macro_use] extern crate malloc_size_of_derive; +#[macro_use] +extern crate malloc_size_of_derive; extern crate msg; -#[macro_use] extern crate serde; +#[macro_use] +extern crate serde; extern crate servo_url; extern crate time; @@ -45,7 +46,7 @@ pub struct CSSError { pub filename: String, pub line: u32, pub column: u32, - pub msg: String + pub msg: String, } /// Messages to instruct the devtools server to update its known actors/state @@ -75,9 +76,11 @@ pub enum ChromeToDevtoolsControlMsg { pub enum ScriptToDevtoolsControlMsg { /// A new global object was created, associated with a particular pipeline. /// The means of communicating directly with it are provided. - NewGlobal((PipelineId, Option<WorkerId>), - IpcSender<DevtoolScriptControlMsg>, - DevtoolsPageInfo), + NewGlobal( + (PipelineId, Option<WorkerId>), + IpcSender<DevtoolScriptControlMsg>, + DevtoolsPageInfo, + ), /// A particular page has invoked the console API. ConsoleAPI(PipelineId, ConsoleMessage, Option<WorkerId>), /// An animation frame with the given timestamp was processed in a script thread. @@ -201,13 +204,21 @@ pub enum DevtoolScriptControlMsg { /// Retrieve the computed layout properties of the given node in the given pipeline. GetLayout(PipelineId, String, IpcSender<Option<ComputedNodeLayout>>), /// Retrieve all stored console messages for the given pipeline. - GetCachedMessages(PipelineId, CachedConsoleMessageTypes, IpcSender<Vec<CachedConsoleMessage>>), + GetCachedMessages( + PipelineId, + CachedConsoleMessageTypes, + IpcSender<Vec<CachedConsoleMessage>>, + ), /// Update a given node's attributes with a list of modifications. ModifyAttribute(PipelineId, String, Vec<Modification>), /// Request live console messages for a given pipeline (true if desired, false otherwise). WantsLiveNotifications(PipelineId, bool), /// Request live notifications for a given set of timeline events for a given pipeline. - SetTimelineMarkers(PipelineId, Vec<TimelineMarkerType>, IpcSender<Option<TimelineMarker>>), + SetTimelineMarkers( + PipelineId, + Vec<TimelineMarkerType>, + IpcSender<Option<TimelineMarker>>, + ), /// Withdraw request for live timeline notifications for a given pipeline. DropTimelineMarkers(PipelineId, Vec<TimelineMarkerType>), /// Request a callback directed at the given actor name from the next animation frame |