Zelf ook nog wat zitten prutsen aan een mooi gnomemenu! Leuk als je de tar.gz van het thema opent kun je alles heerlijk verknoeien
Dit thema is bedoeld voor het programma GnoMenu. Deze is niet standaard geïnstalleerd.
Download GnoMenu hier, en installeer deze. Daarna kun je het gedownloade thema gebruiken:
Deze is dus oud en heeft idd de bug zoals jij hem meldt
hier staat de meest verse versie
https://launchpad.net/gnomenu/trunk/1.9-finalDWZ:
Alles verwijderen (copy / paste in de terminal)
sudo apt-get remove gnomenu
sudo apt-get remove gnomenu-themes-gnomelook
sudo apt-get remove gnomenuthemes
Voor de zekerheid kun je de .gnomenu map in je home folder nog verwijderen (verborgen dus met ctrl-H zichtbaar te maken)
Daarna de nieuwe installeren.
dubbeklikken op de gedownloade gnomenu_1.9.6-6_all.deb
Ik hoop dat het je lukt... in iedergeval weer een leezaam traject