デスクトップのデフォルト・キー割り当て

デスクトップのデフォルト・キー割り当ては、DtKeyBindings というキー割り当てセットのワークスペース・マネージャ構成ファイルに定義されています。

Keys DtKeyBindings
 {
  ...
 }