diff options
| -rw-r--r-- | components/config/prefs.rs | 3 | ||||
| -rw-r--r-- | resources/prefs.json | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/components/config/prefs.rs b/components/config/prefs.rs index 26aec4d39d0..d72e64ad7c8 100644 --- a/components/config/prefs.rs +++ b/components/config/prefs.rs @@ -482,6 +482,9 @@ mod gen { max_length: i64, }, shell: { + crash_reporter: { + enabled: bool, + }, homepage: String, keep_screen_on: { enabled: bool, diff --git a/resources/prefs.json b/resources/prefs.json index 6aef2c5f292..f093171c6ee 100644 --- a/resources/prefs.json +++ b/resources/prefs.json @@ -111,6 +111,7 @@ "network.http-cache.disabled": false, "network.mime.sniff": false, "session-history.max-length": 20, + "shell.crash_reporter.enabled": false, "shell.homepage": "https://servo.org", "shell.keep_screen_on.enabled": false, "shell.native-orientation": "both", |