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

Backport PR #16261 on branch 4.1.x (Fix changing font size in text editor) #16285

Merged

krassowski merged 1 commit into jupyterlab:4.1.x from meeseeksmachine:auto-backport-of-pr-16261-on-4.1.x

May 7, 2024

Contributor

meeseeksmachine commented May 6, 2024

Backport PR #16261: Fix changing font size in text editor


          Backport PR jupyterlab#16261: Fix changing font size in text editor

491802e

lumberbot-app bot added this to the 4.1.x milestone

lumberbot-app bot added bug pkg:fileeditor pkg:codemirror tag:Testing labels

jupyterlab-probot bot commented May 6, 2024

Thanks for making a pull request to jupyterlab!
To try out this branch on binder, follow this link:

github-actions bot assigned meeseeksmachine

krassowski merged commit 94e8eaf into jupyterlab:4.1.x

84 of 85 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment