キーボードレイアウトのオプション
キーボードレイアウトのオプションを開くと、キーの細かな設定が行えます。変則的なキーボードを利用している場合は、ここで設定するとよいでしょう。
通常のキーボードの場合は特に設定する必要はありません。
ただ、「X サーバを終了するためのキーシーケンス」をオンにしておくと、
トラブル発生時にUIを再起動することができます。
Flashがフリーズした時やグラフィックドライバーがフリーズした時に、
UIを再起動することで、復帰できる場合があります。
その際、全てのアプリは終了してログイン画面に戻ります。