Gnome 3.10でキーボードレイアウトの互換性オプションが消えましたか？

Question

私は、以前のUbuntuバージョンのようなキーボードレイアウトオプションを見つけて、1つの重要な互換性オプションを有効にしようとしています。

「数字キーパッドキーを使用したShiftは、MS Windowsと同様に機能します」

しかし、3.10をインストールしたので、ショートカット設定のみが表示されますが、これは実際には使用できません Shift+Ctrl （バグ＃1218322）しかし、それは別の問題です。

Answer 1

「入力」の下の gnome-Tweak-tool でレイアウトオプションを設定できるようになりました。 「数値キーパッドキーを使用したShiftはMS Windowsと同様に機能します」オプションは「その他の互換性オプション」の下にあります。