I tried to change the menu settings for some of my GNOME apps, but found that they do not persist across logout/login. The launcher pref dialog allowed me to change the setting, and there was no error message at any time; it just silently reverted to the original setting after I logged out and back in again. Is this a known issue? Thanks, -Jonathan