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

Change font size #14

Open
tetov opened this issue May 4, 2021 · 1 comment
Open

Change font size #14

tetov opened this issue May 4, 2021 · 1 comment
Labels
question

Comments

@tetov
Copy link

tetov commented May 4, 2021

Is it possible to change the font size without changing the UI scale (ctrl+/-)?
@JaspalSuri
Copy link

Hi @tetov, I'm afraid that this currently isn't possible for the Vim or Code Editors. If Code Mirror provides this feature, we are willing to experiment with implementing and testing this feature in the dev versions of the editors that are based on it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
question
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tetov @JaspalSuri