Thank you for your bug. There is a gconf key for that, gnome-control-center is already using it to not close the shell, not sure if gnome-main-menu needs to be updated though
Thank you for your bug. There is a gconf key for that, gnome-control- center is already using it to not close the shell, not sure if gnome-main-menu needs to be updated though