Thanks! The tiny font was driving me mad (using 4k2k screen on kUbuntu 17.04/Plasma), needed KMag to decode some menu items. Kudo well earned. Remark 1: The value 00000096 was a bit too big for me, I used 00000080 in the end. Remark 2: I think it would be a lot easier to have an option in the 'settings' UI to be able to set the font.
... View more