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

devtools: Use webview_id as browser_id (#35956)

Browse source 
* use `webview_id` as `browser_id`

Signed-off-by: atbrakhi <atbrakhi@igalia.com>

* use correct webview id

Signed-off-by: atbrakhi <atbrakhi@igalia.com>

* fmt

Signed-off-by: atbrakhi <atbrakhi@igalia.com>

* review fix

Signed-off-by: atbrakhi <atbrakhi@igalia.com>

---------

Signed-off-by: atbrakhi <atbrakhi@igalia.com>
This commit is contained in:
atbrakhi 2025-03-19 09:59:38 +01:00 • committed by GitHub
parent 4acaa08cf5
commit 2362e4c134
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
7 changed files with 43 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

4
components/script/dom/worker.rs
View file

@ -186,6 +186,8 @@ impl WorkerMethods<crate::DomTypeHolder> for Worker {
pipeline_id: global.pipeline_id(),
};
let webview_id = global.webview_id().expect("global must have a webview id");
let browsing_context = global
.downcast::<Window>()
.map(|w| w.window_proxy().browsing_context_id())
@ -207,7 +209,7 @@ impl WorkerMethods<crate::DomTypeHolder> for Worker {
is_top_level_global: false,
};
let _ = chan.send(ScriptToDevtoolsControlMsg::NewGlobal(
(browsing_context, pipeline_id, Some(worker_id)),
(browsing_context, pipeline_id, Some(worker_id), webview_id),
devtools_sender.clone(),
page_info,
));