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

Select Fonts to change the editor font #735

Open
1 task
TangZhonghua-cn opened this issue Oct 11, 2024 · 2 comments
Open
1 task

Select Fonts to change the editor font #735

TangZhonghua-cn opened this issue Oct 11, 2024 · 2 comments
Assignees
Labels
enhancement New feature or request

Comments

@TangZhonghua-cn
Copy link

Is your feature request related to a problem? Please describe.

The default font is not good-looking

Describe the solution you'd like

In the Settings > "editor",here should be a font to choose from

Describe alternatives you've considered

Additional context

Other

  • I want to try to complete the development of this feature.
@TangZhonghua-cn TangZhonghua-cn added the enhancement New feature or request label Oct 11, 2024
@drl990114
Copy link
Owner

That's a good idea, but the priority of this one won't be very high at the moment and it will take some time.

@TangZhonghua-cn
Copy link
Author

TangZhonghua-cn commented Oct 11, 2024 via email

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

No branches or pull requests

2 participants