Verified Commit c76cda0c authored 3 years ago by Nicolas Werner

Set font properly

When setting the default font, actually set the default font. When
setting a different font, change the application font.

fixes #801
fixes #232
fixes #224

parent 7238ca37

No related branches found

No related tags found

No related merge requests found

Pipeline #2754 passed 3 years ago