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

Can't resize text in editor #413

Open
saulfgonzalez opened this issue Jan 13, 2024 · 1 comment
Open

Can't resize text in editor #413

saulfgonzalez opened this issue Jan 13, 2024 · 1 comment

Comments

@saulfgonzalez
Copy link

Text is tiny in the editor window. There does not seem to be a way to resize it. Neither Ctrl + Mouse scrollwheel nor Ctrl + "+" seem to work. There is no option that I could find to resize the editor text.

It is of note that Ctrl + mouse scroll DOES resize the preview window text, but it also makes it move up it at the same time.

@bdutta
Copy link

bdutta commented Dec 2, 2024

This is certainly a significant usability problem. In my case however, the text in editor window is very large. I usually work with 8 or 9pt sized fonts for all applications, and that I am seeing must be 12 or 13pt size out of the box. There seems to be no preference setting for controlling font size, and also the descynchronization between editor and preview pane with font size, can defeat the purpose easily.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants