kdebase/kicker/menuext/prefmenu
