私はここにコマンドラインソリューションがあることを知っています: Ctrl + Alt + Backspaceを有効にするにはどうすればよいですか?
ただし、以前のバージョンで使用していた方法で有効にすることを検討しています(GNOME 3.2には設定が存在しないようです)。
まあ...ちょっとバカな感じがします。
最新のGNOMEコントロールセンターの更新により、オプションが復活しました。