GNOME dropped that feature from the UI too when they switched to the gnome-panel dialogs for that (the same cycle Ubuntu change its dialog) -- Feature request : shortcut to save session while logging out https://launchpad.net/bugs/44010