menu editing in gnome (fc4)