Bug#825520: plasma-desktop: fonts in kde application launcher have wrong size

[Wolfgang Walter]

Same problem here.

Regards,
-- 
Wolfgang Walter
Studentenwerk München
Anstalt des öffentlichen Rechts