Bug#825520: closed by Maximiliano Curia (Re: Bug#825520: plasma-desktop: fonts in kde application launcher have wrong size)

2016-06-03 Thread Vassilis Virvilis
debian.org/cgi-bin/bugreport.cgi?bug=825520 > Debian Bug Tracking System > Contact ow...@bugs.debian.org with problems > > > -- Forwarded message -- > From: Maximiliano Curia > To: Wolfgang Walter , 825520-d...@bugs.debian.org > Cc: > Date: Thu, 2 Jun 2016

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

2016-06-02 Thread Wolfgang Walter
Same problem here. Regards, -- Wolfgang Walter Studentenwerk München Anstalt des öffentlichen Rechts

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

2016-05-27 Thread Vassilis Virvilis
Package: plasma-desktop Version: 4:5.4.3-1 Severity: normal Dear Maintainer, Debian unstable here, * What led up to the situation? I updated today and after reboot KDE Start Menu (Kicker or Application Launcher or ) shows wrongly sized fonts. I don't have screenshot before the upgrade but I t