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

Remove servo feature from servo_config

Browse source
This commit is contained in:
Xidorn Quan 2017-04-07 17:44:22 +10:00
parent c857878ce9
commit e07cf0a8da
10 changed files with 14 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

6
components/config/prefs.rs
View file

@ -20,8 +20,7 @@ lazy_static! {
};
}
#[derive(PartialEq, Clone, Debug)]
#[cfg_attr(feature = "servo", derive(Deserialize, Serialize))]
#[derive(PartialEq, Clone, Debug, Deserialize, Serialize)]
pub enum PrefValue {
Boolean(bool),
String(String),
@ -92,8 +91,7 @@ impl ToJson for PrefValue {
}
}
#[derive(Clone, Debug)]
#[cfg_attr(feature = "servo", derive(Deserialize, Serialize))]
#[derive(Clone, Debug, Deserialize, Serialize)]
pub enum Pref {
NoDefault(Arc<PrefValue>),
WithDefault(Arc<PrefValue>, Option<Arc<PrefValue>>)