Add media.glvideo preference

2025-08-07 06:25:32 +01:00 · 2019-06-04 17:46:58 +02:00 · 2019-06-04 17:46:58 +02:00 · da8eb18763
commit da8eb18763
parent 08d812ec0e
3 changed files with 14 additions and 2 deletions
--- a/components/config/prefs.rs
+++ b/components/config/prefs.rs
@ -446,6 +446,9 @@ mod gen {
                }
            },
            media: {
+                glvideo: {
+                    enabled: bool,
+                },
                testing: {
                    enabled: bool,
                }