diff options
| author | Víctor Manuel Jáquez Leal <vjaquez@igalia.com> | 2019-06-04 17:46:58 +0200 |
|---|---|---|
| committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2019-07-04 10:25:47 +0200 |
| commit | da8eb18763e5b0b9bd46ee9f6aa5f50e7c053b19 (patch) | |
| tree | 92545652bfe677c986306abb1908e4c8ad502194 /components/config/prefs.rs | |
| parent | 08d812ec0ed9e2f3d0a287ba5c7e0b926ae0f89a (diff) | |
| download | servo-da8eb18763e5b0b9bd46ee9f6aa5f50e7c053b19.tar.gz servo-da8eb18763e5b0b9bd46ee9f6aa5f50e7c053b19.zip | |
Add media.glvideo preference
Diffstat (limited to 'components/config/prefs.rs')
| -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 0c6e394ffaa..1bd1a745799 100644 --- a/components/config/prefs.rs +++ b/components/config/prefs.rs @@ -446,6 +446,9 @@ mod gen { } }, media: { + glvideo: { + enabled: bool, + }, testing: { enabled: bool, } |