Conversation
|
Any chance we could use a smaller font size on linux instead? |
80b325f to
487cee3
Compare
…systems and make MainWindow a bit smaller again
487cee3 to
d63a619
Compare
I added a commit that changes the default font for unix/linux system. Since, I did not want to make that font smaller (since a smaller font looked ugly in Linux), I still had to increase the size of the MainWindow a bit (170), but less than in the first commit (where it was 190): |
* The CI Pipeline was not working anymore. Github seems to require this change to allow the CI to be working again


The MainWindow layout appears a bit ugly in Linux environments. I suggest to make the window a bit wider to overcome this issue.
Before (Linux):
After (Linux):
Before (Windows):
After (Windows):