On Thu, 2005-04-07 at 11:17 +0100, Paul wrote: > Hi, > > Anyone else seeing that the user preferences menu option has vanished? You mean Desktop->Preferences is gone with a recent rawhide update? If so, what version of gnome-menus, what was the version before the update, any messages in /tmp/xses-* ? Cheers, Mark.