Remove unused ScriptDevtoolControlMsg enum

servo · Apr 24, 2015 · df406b9 · df406b9
1 parent e66f761
commit df406b9
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/components/devtools_traits/lib.rs b/components/devtools_traits/lib.rs
@@ -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,