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

Use GUI font for editor header and footer #1842

Closed
vkbo opened this issue May 1, 2024 · 0 comments · Fixed by #1843
Closed

Use GUI font for editor header and footer #1842

vkbo opened this issue May 1, 2024 · 0 comments · Fixed by #1843
Labels
editor Component: Editor usability Issue: Could do with some improvement
Milestone

Comments

@vkbo
Copy link
Owner

vkbo commented May 1, 2024

Reported on Mastodon:

i think it looks a bit weird when there's a mix of serif/non-serif font like this. seems to me the header and footer are more part of the interface then part of the document itself, but that might be just me.

image

https://mastodon.online/@[email protected]/112356558760167608

@vkbo vkbo added editor Component: Editor usability Issue: Could do with some improvement labels May 1, 2024
@vkbo vkbo added this to the Release 2.4.1 milestone May 1, 2024
@vkbo vkbo mentioned this issue May 1, 2024
6 tasks
@vkbo vkbo linked a pull request May 1, 2024 that will close this issue
6 tasks
@vkbo vkbo closed this as completed May 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editor Component: Editor usability Issue: Could do with some improvement
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant