Font size of build log is tiny for high DPI displays

alexandervdm / gummi

Simple LaTeX editor

https://gummi.app

MIT License

750 stars 95 forks source link

Font size of build log is tiny for high DPI displays #139

Open tonysf opened 4 years ago

tonysf commented 4 years ago

The build log tab has a font size which makes it unreadable in high DPI environment. Is it possible to change the font size here? I have searched through the preferences and have not found any options that control it. I am using the latest version 0.8.1 on Ubuntu.

alexandervdm commented 3 years ago

Related to #148.

This setting is currently not yet configurable, but I will make it so if I can't properly fix #148 in time for the 0.8.2. release.