Skip to content

/ servo

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve devtools experience when navigating #26325

Merged
merged 7 commits into from Apr 28, 2020
+694 −266

Update devtools page titles.

02ce618
Select commit
7c48644
Support navigating browsing contexts in the devtools.
jdm Apr 25, 2020
bce4ec5
Support clearing cached events in console actor.
jdm Apr 25, 2020
565e943
Support connecting to worker globals from remote devtools.
jdm Apr 26, 2020
b9bf9f8
Move some console-related message types into the console code.
jdm Apr 26, 2020
3dfec95
Update browsing context title/url when navigating.
jdm Apr 28, 2020
b53ce5c
Ignore eager JS evaluation in devtools.
jdm Apr 28, 2020
02ce618
Update devtools page titles.
jdm Apr 28, 2020
Merged

Improve devtools experience when navigating #26325

Update devtools page titles.
02ce618
Select commit
7c48644
Support navigating browsing contexts in the devtools.
jdm Apr 25, 2020
bce4ec5
Support clearing cached events in console actor.
jdm Apr 25, 2020
565e943
Support connecting to worker globals from remote devtools.
jdm Apr 26, 2020
b9bf9f8
Move some console-related message types into the console code.
jdm Apr 26, 2020
3dfec95
Update browsing context title/url when navigating.
jdm Apr 28, 2020
b53ce5c
Ignore eager JS evaluation in devtools.
jdm Apr 28, 2020
02ce618
Update devtools page titles.
jdm Apr 28, 2020

Workflow runs completed with no jobs

You can’t perform that action at this time.