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

Introduce shell.crash_reporter.enabled pref

Browse source
This commit is contained in:
Paul Rouget 2020-07-29 12:18:11 +02:00
parent 593200e693
commit 0c00022ae0
2 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
components/config/prefs.rs
View file

@ -482,6 +482,9 @@ mod gen {
max_length: i64, max_length: i64,
}, },
shell: { shell: {
crash_reporter: {
enabled: bool,
},
homepage: String, homepage: String,
keep_screen_on: { keep_screen_on: {
enabled: bool, enabled: bool,

1
resources/prefs.json
View file

@ -111,6 +111,7 @@
"network.http-cache.disabled": false, "network.http-cache.disabled": false,
"network.mime.sniff": false, "network.mime.sniff": false,
"session-history.max-length": 20, "session-history.max-length": 20,
"shell.crash_reporter.enabled": false,
"shell.homepage": "https://servo.org", "shell.homepage": "https://servo.org",
"shell.keep_screen_on.enabled": false, "shell.keep_screen_on.enabled": false,
"shell.native-orientation": "both", "shell.native-orientation": "both",