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>