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

new android port: introduce a simple servo library

Browse source
This commit is contained in:
Paul Rouget 2018-07-04 16:43:38 +08:00
parent cbaf19c65c
commit baf6635a4c
16 changed files with 1398 additions and 30 deletions
Download patch file Download diff file Expand all files Collapse all files

7
components/config/prefs.rs
View file

@ -183,9 +183,10 @@ pub fn add_user_prefs() {
init_user_prefs(&mut path);
}
None => {
let mut path = default_config_dir();
if path.join("prefs.json").exists() {
init_user_prefs(&mut path);
if let Some(mut path) = default_config_dir() {
if path.join("prefs.json").exists() {
init_user_prefs(&mut path);
}
}
}
}