Customizing the font size of the user interface
on Ubuntu 18.04 LTS.
It would be nice if it would be possible to customize the font size of the user interface.
Hi elmonk, thanks for your suggestion! I've put your request into the TODO list ( https://github.com/AresValley/Artemis/issues/14 ) on github