[Cooker] Gnome theme setting

[Quel Qun]

Hi,
The gnome menu should be changed. It apparently tries to start
/usr/bin/gnome-theme-properties, when the new tool is
gnome-theme-manager.
Also, shouldn't there be an entry for it in the gnome-control-center?
=-=
kk1