Skip to content

Fix developerMode layout - #322

Merged
camillobruni merged 1 commit into
WebKit:mainfrom
camillobruni:2023-10-04_fix_developer_mode_layout
Oct 5, 2023
Merged

Fix developerMode layout#322
camillobruni merged 1 commit into
WebKit:mainfrom
camillobruni:2023-10-04_fix_developer_mode_layout

Conversation

@camillobruni

@camillobruni camillobruni commented Oct 4, 2023

Copy link
Copy Markdown
Contributor

Before:
Screenshot 2023-10-04 at 16 41 17

After:
Screenshot 2023-10-04 at 16 41 23

@camillobruni
camillobruni requested a review from bgrins October 4, 2023 14:43
@camillobruni camillobruni added the trivial change A change that doesn't affect benchmark results label Oct 4, 2023
julienw
julienw approved these changes Oct 5, 2023
View reviewed changes

@julienw julienw left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks

@camillobruni
camillobruni merged commit b77b3db into WebKit:main Oct 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@rniwa rniwa rniwa approved these changes
@julienw julienw julienw approved these changes
@bgrins bgrins Awaiting requested review from bgrins

Assignees

No one assigned

Labels

trivial change A change that doesn't affect benchmark results

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@camillobruni @rniwa @julienw