diff --git a/components/devtools_traits/lib.rs b/components/devtools_traits/lib.rs index 314fc49e6aa..1d967d8aa5e 100644 --- a/components/devtools_traits/lib.rs +++ b/components/devtools_traits/lib.rs @@ -148,16 +148,28 @@ pub enum TimelineMarkerType { /// Messages to process in a particular script task, as instructed by a devtools client. #[derive(Deserialize, Serialize)] pub enum DevtoolScriptControlMsg { + /// Evaluate a JS snippet in the context of the global for the given pipeline. EvaluateJS(PipelineId, String, IpcSender), + /// Retrieve the details of the root node (ie. document) for the given pipeline. GetRootNode(PipelineId, IpcSender), + /// Retrieve the details of the document element for the given pipeline. GetDocumentElement(PipelineId, IpcSender), + /// Retrieve the details of the child nodes of the given node in the given pipeline. GetChildren(PipelineId, String, IpcSender>), + /// Retrieve the computed layout properties of the given node in the given pipeline. GetLayout(PipelineId, String, IpcSender<(f32, f32)>), + /// Retrieve all stored console messages for a given pipeline. GetCachedMessages(PipelineId, CachedConsoleMessageTypes, IpcSender>), + /// Update a given node's attributes with a list of modifications. ModifyAttribute(PipelineId, String, Vec), + /// Request live console messages for a given pipeline. WantsLiveNotifications(PipelineId, bool), + /// Request live notifications for a given set of timeline events for a given pipeline. SetTimelineMarkers(PipelineId, Vec, IpcSender), + /// Withdraw request for live timeline notifications for a given pipeline. DropTimelineMarkers(PipelineId, Vec), + /// Request a callback directed at the given actor name from the next animation frame + /// executed in the given pipeline. RequestAnimationFrame(PipelineId, String), }