Uh oh!
There was an error while loading.Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork3.8k
Fix CodeMirror theme selection background color#14841
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 ourterms of service andprivacy statement. We’ll occasionally send you account related emails.
Already on GitHub?Sign in to your account
Uh oh!
There was an error while loading.Please reload this page.
Conversation
Thanks for making a pull request to jupyterlab! |
Thanks for submitting your first pull request! You are awesome! 🤗 |
krassowski left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others.Learn more.
Thank you@AllanChain.
fcollonval left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others.Learn more.
Thanks@AllanChain
fcollonval commentedJul 20, 2023
@meeseeksdev please backport to 4.0.x |
…14864)Co-authored-by: Allan Chain <36528777+AllanChain@users.noreply.github.com>


Uh oh!
There was an error while loading.Please reload this page.
References
Fixes#14737
Code changes
Update the CSS selector for the selection background color.
Previously, the rule from the base CodeMirror6 theme
.cm-focused > .cm-scroller > .cm-selectionLayer .cm-selectionBackgroundtakes precedence over our.cm-focused .cm-selectionBackgroundrule, so the theme selection color is not taking effect. Changing the selector to be the same as the base theme fixes the issue.User-facing changes
Backwards-incompatible changes
None.