Hi:
I have a question: how can I change the GUI font size?
I run " KDevelop-5.2.1-x86_64.AppImage" on Ubuntu 14.04.
Waiting for you message, thank you.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kdevelop/attachments/20171215/456c19d1/attachment.html>