K-Menü: Symbolgröße ändern

Man sucht im entsprechenden Verzeichnis des Users nach der Datei "kickerrc" in dem Pfad ".kde/share/config" und ändert den Eintrag "MenuEntyHeight=25" in "MenuEntryHeight=16".

Danach muss man eine Konsole aufrufen und mit dem Befehl "dcop kicker Panel restart" (natürlich ohne die Anführungszeichen) das Panel neu starten.