mirror of
https://github.com/servo/servo.git
synced 2025-10-02 09:39:14 +01:00
Auto merge of #26325 - jdm:devtools-nav, r=gterzian
Improve devtools experience when navigating The primary motivation for this work was to fix #15425, and these changes make it possible to use the devtools to meaningfully inspect multiple pages when navigating between them. Navigating through session history is not yet supported. These changes also include improvements to the dedicated worker support, which broke at some point. We now can observe console messages in workers.
This commit is contained in:
commit
1aab10f20a
17 changed files with 693 additions and 265 deletions
1
Cargo.lock
generated
1
Cargo.lock
generated
|
@ -1192,6 +1192,7 @@ dependencies = [
|
|||
"msg",
|
||||
"serde",
|
||||
"serde_json",
|
||||
"servo_url",
|
||||
"time",
|
||||
"uuid",
|
||||
]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue