7 commits

Author	SHA1	Message	Date
Kunal Mohan	5a3e1b8e69	rename compartment to realm	2020-01-24 20:52:36 +05:30
Istvan Miklos	dbed5f1364	Support worker for WebGPU ... To create resource ids for the WebGPU we need to access the `IdentityHub`. In order to access the `IdentityHub` from a `Window` or a `Worker` as well, I've moved the `IdentityHub` to the `GlobalScope` from the `Navigator`.	2020-01-23 10:51:21 +01:00
Zakor Gyula	430248e9c8	Fix returned error types in WebGPU	2020-01-13 10:39:23 +01:00
Zakor Gyula	a751b1c3d7	Only start WebGPU thread if an adapter is requested	2020-01-13 10:39:23 +01:00
Zakor Gyula	e146e6058a	Replace wgpu-native with wgpu-core	2019-12-06 12:49:56 +01:00
Istvan Miklos	b26598d470	Add WebGPU identity management ... Issue: https://github.com/servo/servo/issues/24706#issuecomment-557891841	2019-11-28 10:33:03 +01:00
Zakor Gyula	12893aa010	Initial implementation of WebGPU API	2019-11-21 08:30:26 +01:00