diff options
author | Simon Wülker <simon.wuelker@arcor.de> | 2025-03-02 13:16:51 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2025-03-02 12:16:51 +0000 |
commit | e7e8ccea2044ac010b47b6267f3f443145936c28 (patch) | |
tree | aa64c9f8354209476c24a38feb1ef5a7b6ae8ccb /components/script/dom/webxr/xrinputsource.rs | |
parent | aa26aa196341e4facda472e90c8354ad7f01e0f8 (diff) | |
download | servo-e7e8ccea2044ac010b47b6267f3f443145936c28.tar.gz servo-e7e8ccea2044ac010b47b6267f3f443145936c28.zip |
Respond to the `connect` message from a devtools client (#35745)
* Respond to the "connect" message
Signed-off-by: Simon Wülker <simon.wuelker@arcor.de>
* Bump log levels in devtools implementation a bit
If everything is "debug" then nothing stands out.
Signed-off-by: Simon Wülker <simon.wuelker@arcor.de>
---------
Signed-off-by: Simon Wülker <simon.wuelker@arcor.de>
Diffstat (limited to 'components/script/dom/webxr/xrinputsource.rs')
0 files changed, 0 insertions, 0 deletions