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.

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

Remove unused CSS rules #8547

Merged
merged 1 commit into from Jun 11, 2020

Conversation

AlbertHilb
Copy link
Member

@AlbertHilb AlbertHilb commented Jun 11, 2020

Fixes #8537.

@AlbertHilb AlbertHilb added pkg:codemirror tag:CSS For general CSS related issues and pecadilloes labels Jun 11, 2020
@jupyterlab-dev-mode
Copy link

jupyterlab-dev-mode bot commented Jun 11, 2020

Thanks for making a pull request to JupyterLab!

To try out this branch on binder, follow this link: Binder

@github-actions github-actions bot added the tag:Design System CSS If a PR is editing any CSS files please add this tag for design team to review. label Jun 11, 2020
Copy link
Member

@blink1073 blink1073 left a comment

Thanks!

@blink1073 blink1073 modified the milestones: 2.2, 3.0 Jun 11, 2020
@blink1073 blink1073 merged commit 6f529d1 into jupyterlab:master Jun 11, 2020
38 of 39 checks passed
@AlbertHilb AlbertHilb deleted the CodeMirrorEditor-static branch Jun 15, 2020
@saulshanabrook saulshanabrook modified the milestones: 3.0, 2.2 Jun 24, 2020
saulshanabrook pushed a commit that referenced this issue Jun 25, 2020
@github-actions github-actions bot added the status:resolved-locked Closed issues are locked after 30 days inactivity. Please open a new issue for related discussion. label Feb 8, 2021
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Feb 8, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
pkg:codemirror status:resolved-locked Closed issues are locked after 30 days inactivity. Please open a new issue for related discussion. tag:CSS For general CSS related issues and pecadilloes tag:Design System CSS If a PR is editing any CSS files please add this tag for design team to review.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants