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

PR: Make all editor's background color to be applied correctly #8081

Merged
merged 2 commits into from
Oct 15, 2018
Merged

PR: Make all editor's background color to be applied correctly #8081

merged 2 commits into from
Oct 15, 2018

Conversation

ccordoba12
Copy link
Member

Fixes #8069.

@ccordoba12 ccordoba12 added this to the v4.0beta2 milestone Oct 15, 2018
@pep8speaks
Copy link

Hello @ccordoba12! Thanks for submitting the PR.

@ccordoba12 ccordoba12 mentioned this pull request Oct 15, 2018
Closed
@ccordoba12 ccordoba12 merged commit 2857a6f into spyder-ide:master Oct 15, 2018
@ccordoba12 ccordoba12 deleted the fix-bg-color branch October 15, 2018 23:41
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
v4.0beta2
Development

Successfully merging this pull request may close these issues.
2 participants
@ccordoba12 @pep8speaks