kde is even better than before but for me the menu editing
still does not work. I can edit but changes are not saved. No
idea what it could be.