On Sat, Jul 23, 2011 at 4:41 AM, Ben Cooksley <bcooksley at kde.org> wrote: > @Matthias: please explain how this doesn't solve the issue. It certainly solves the immediate symptom of 'two things in the menu are named the same'.