diff options
Diffstat (limited to 'components/servo/lib.rs')
| -rw-r--r-- | components/servo/lib.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/components/servo/lib.rs b/components/servo/lib.rs index b2cedafb5b5..875994d6651 100644 --- a/components/servo/lib.rs +++ b/components/servo/lib.rs @@ -331,6 +331,11 @@ where webrender_gl.clone(), render_notifier, webrender::WebRenderOptions { + // We force the use of optimized shaders here because rendering is broken + // on Android emulators with unoptimized shaders. This is due to a known + // issue in the emulator's OpenGL emulation layer. + // See: https://github.com/servo/servo/issues/31726 + use_optimized_shaders: true, resource_override_path: opts.shaders_dir.clone(), enable_aa: !opts.debug.disable_text_antialiasing, debug_flags: debug_flags, |