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

[Suggest Idea] Allow user change fonts of editor mode? #3111

Open
ghost opened this issue Mar 8, 2022 · 0 comments
Open

[Suggest Idea] Allow user change fonts of editor mode? #3111

ghost opened this issue Mar 8, 2022 · 0 comments
Labels
🪲 pri/low Some low-priority bugs, such as styles, some bugs on non-primary features 🦄 feature request New feature or request

Comments

@ghost
Copy link

ghost commented Mar 8, 2022 •
edited by ghost

OS: Ubuntu 20.04.4 LTS
hi author ! could you add options allow the user can actually change font family on the editor mode (default hotkey is Crtl + E
Look like the default didn't support Vietnamese much (below image)

image\
@fxha fxha added 🦄 feature request New feature or request 🪲 pri/low Some low-priority bugs, such as styles, some bugs on non-primary features labels Mar 31, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
🪲 pri/low Some low-priority bugs, such as styles, some bugs on non-primary features 🦄 feature request New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@fxha