On Tue, 19 Nov 2002 14:36:38 +0000, Quel Qun wrote: > 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?
It is fixed in CVS already.. -- Frederic Crozat MandrakeSoft
