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

more editor fonts #615

Open

cally-jt opened this issue Aug 6, 2023 · 1 comment

Labels

type: bug

Member

cally-jt commented Aug 6, 2023

Describe the bug. What is going wrong?

more editor fonts doesnt work

What is causing the bug?

whenever you attempt to make switch to the font

Anything else?

No response

cally-jt added the type: bug label

Member Author

cally-jt commented Aug 20, 2023

mmmmm, @rgantzos is this fixed?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment