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

[feature] I would like it to be possible to change the font size in the payload and output editors #1596

Open
rodrigopmatias opened this issue Feb 15, 2024 · 0 comments · May be fixed by #2204
Labels
enhancement New feature or request

Comments

@rodrigopmatias
Copy link

Today it is possible to change the font family that is used in the editor, but it is not possible to change the font size of the editor, in some cases the selected font does not look very well with the selected font family, or it is too large or it is tiny.

Knowing this, I would like it to be possible to also change the font size.

@sanjai0py sanjai0py added the enhancement New feature or request label Apr 11, 2024
@krummbar krummbar linked a pull request May 1, 2024 that will close this issue
5 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants