Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #5818 - Jinwoo-Song:removeUnused, r=mbrubeck

Browse source 
Simple patch to remove unused enum, ScriptDevtoolControlMsg.

r? @jdm
cc @yichoi

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/5818)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2015-04-23 22:50:32 -05:00
commit ef1e50aa77
1 changed files with 0 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

7
components/devtools_traits/lib.rs
View file

@ -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,