From 0c00022ae04d9116c4a31b389fc03d843ff368bd Mon Sep 17 00:00:00 2001 From: Paul Rouget Date: Wed, 29 Jul 2020 12:18:11 +0200 Subject: [PATCH] Introduce shell.crash_reporter.enabled pref --- components/config/prefs.rs | 3 +++ resources/prefs.json | 1 + 2 files changed, 4 insertions(+) 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",