diff options
| author | Paul Rouget <me@paulrouget.com> | 2020-07-29 12:18:11 +0200 |
|---|---|---|
| committer | Paul Rouget <me@paulrouget.com> | 2020-08-03 17:31:34 +0200 |
| commit | 0c00022ae04d9116c4a31b389fc03d843ff368bd (patch) | |
| tree | 7334cc442596bad4ea0b57e24b1953f2cd3cd124 /components/config | |
| parent | 593200e6938a64e6d202559da6b31a823dd1019b (diff) | |
| download | servo-0c00022ae04d9116c4a31b389fc03d843ff368bd.tar.gz servo-0c00022ae04d9116c4a31b389fc03d843ff368bd.zip | |
Introduce shell.crash_reporter.enabled pref
Diffstat (limited to 'components/config')
| -rw-r--r-- | components/config/prefs.rs | 3 |
1 files changed, 3 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, |