how to change KDevelop GUI font

俞吉 yuji at
Fri Dec 15 09:03:31 GMT 2017

     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: <>

More information about the KDevelop mailing list