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

fix(ui): improve mono-font-family #459

Merged
merged 2 commits into from
Oct 8, 2024
Merged

fix(ui): improve mono-font-family #459

merged 2 commits into from
Oct 8, 2024

Conversation

nimdanitro
Copy link
Member

Details:

  • small fix to make sure the mono-font is properly configured
    Before image
    After image

@nimdanitro nimdanitro requested a review from lukastresch October 8, 2024 08:17
@nimdanitro nimdanitro self-assigned this Oct 8, 2024
@nimdanitro nimdanitro requested review from a team as code owners October 8, 2024 08:17
@github-actions github-actions bot added the fix label Oct 8, 2024
@nimdanitro nimdanitro enabled auto-merge (squash) October 8, 2024 08:17
lukastresch
lukastresch approved these changes Oct 8, 2024
View reviewed changes
Copy link
Member

@lukastresch lukastresch left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sieht gut aus. Super, dass nun alles B612 ist. :-)

@nimdanitro nimdanitro disabled auto-merge October 8, 2024 16:31
@nimdanitro nimdanitro merged commit 8335b34 into develop Oct 8, 2024
6 checks passed
@nimdanitro nimdanitro deleted the fix/proper-mono-font branch October 8, 2024 16:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lukastresch lukastresch lukastresch approved these changes

Assignees

@nimdanitro nimdanitro

Labels
fix
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@nimdanitro @lukastresch