キーの機能割り当て（キーバインド）の変更は、「システム設定」→「キーボード」→「キーボードショートカット」→「装飾キー」で行う。複数のキーボードが接続されている場合は、「キーボードを選択」の部分にターゲットとは別のキーボード名が表示されている場合があるので、正しく選び直す必要がある。
