diff options
author | Jonathan Schwender <55576758+jschwe@users.noreply.github.com> | 2024-11-13 21:02:30 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-11-13 20:02:30 +0000 |
commit | 6b6697e97bd3f88c3e5da4d632afb611be1a403e (patch) | |
tree | 9532ef7d7aead2b22ba31bab4ea930549a660cd4 /components/script/dom/htmlscriptelement.rs | |
parent | 47a243614f920cb9cf4c058ee9d0584377a2a11e (diff) | |
download | servo-6b6697e97bd3f88c3e5da4d632afb611be1a403e.tar.gz servo-6b6697e97bd3f88c3e5da4d632afb611be1a403e.zip |
servoshell: Fix --no-default-features and make webxr optional on ohos/android (#34242)
* servoshell: fix --no-default-features
The Embeddertraits only contain `register_webxr` if the
webxr feature is enabled, hence we also need to guard
the trait implementation.
Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>
* ohos/android: Make webxr optional in servoshell
Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>
---------
Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>
Diffstat (limited to 'components/script/dom/htmlscriptelement.rs')
0 files changed, 0 insertions, 0 deletions