mirror of
https://github.com/servo/servo.git
synced 2025-07-23 15:23:42 +01:00
Remove unused ScriptDevtoolControlMsg enum
This commit is contained in:
parent
e66f761cba
commit
df406b996b
1 changed files with 0 additions and 7 deletions
|
@ -119,13 +119,6 @@ pub enum DevtoolScriptControlMsg {
|
|||
DropTimelineMarkers(PipelineId, Vec<TimelineMarkerType>),
|
||||
}
|
||||
|
||||
/// Messages to instruct devtools server to update its state relating to a particular
|
||||
/// tab.
|
||||
pub enum ScriptDevtoolControlMsg {
|
||||
/// Report a new JS error message
|
||||
ReportConsoleMsg(String),
|
||||
}
|
||||
|
||||
#[derive(RustcEncodable)]
|
||||
pub struct Modification{
|
||||
pub attributeName: String,
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue