Skip to content
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.

Sign up for GitHub

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

Jump to bottom

add dark theme styling to devtools input box #5610

Merged
merged 1 commit into from
Dec 18, 2017
Merged

add dark theme styling to devtools input box #5610

merged 1 commit into from
Dec 18, 2017

Conversation

t3chguy
Copy link
Member

@t3chguy t3chguy commented Nov 15, 2017

fixes #5557

@t3chguy t3chguy changed the base branch from master to develop November 15, 2017 17:14
@t3chguy
Copy link
Member Author

t3chguy commented Dec 18, 2017

@ara4n PTAL

@t3chguy
Copy link
Member Author

t3chguy commented Dec 18, 2017

(test failures are completely incoherent to me)

@ara4n
Copy link
Member

ara4n commented Dec 18, 2017

sounds plausible. no idea about the tests.

@ara4n ara4n merged commit bfb6026 into develop Dec 18, 2017
@t3chguy t3chguy deleted the t3chguy/devtools-1 branch March 23, 2022 20:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Devtools 'event type' field not themed
2 participants
@t3chguy @ara4n