Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-07 06:25:32 +01:00
Code Issues Projects Releases Packages Wiki Activity

chore: Update wgpu and fix webgpu pref (#35020)

Browse source 
* Update wgpu to v24

Signed-off-by: sagudev <16504129+sagudev@users.noreply.github.com>

* `dom.webgpu.enabled` -> `dom_webgpu_enabled`

Signed-off-by: sagudev <16504129+sagudev@users.noreply.github.com>

* Update expectations

Signed-off-by: sagudev <16504129+sagudev@users.noreply.github.com>

---------

Signed-off-by: sagudev <16504129+sagudev@users.noreply.github.com>
This commit is contained in:
Samson 2025-01-16 15:42:47 +01:00 • committed by GitHub
parent d58aa7fc04
commit b92a598e62
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
7 changed files with 28 additions and 147 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ports/servoshell/prefs.rs
View file

@ -315,7 +315,7 @@ pub(crate) fn parse_command_line_arguments(args: Vec<String>) -> ArgumentParsing
"",
"pref",
"A preference to set to disable",
"dom.webgpu.enabled=false",
"dom_webgpu_enabled=false",
);
opts.optmulti(
"",