function migrateEnsureHotKeys(settings: Settings): Settings {
  settings.hotKeyRegistry = {
    ...hotkeys.newDefaultRegistry(),
    ...settings.hotKeyRegistry,
  };
  return settings;
}
function migrateEnsureHotKeys(settings: Settings): Settings {
  settings.hotKeyRegistry = {
    ...hotkeys.newDefaultRegistry(),
    ...settings.hotKeyRegistry,
  };
  return settings;
}
function migrateEnsureHotKeys ( settings : Settings ) : Settings { settings . hotKeyRegistry = { ... hotkeys . newDefaultRegistry ( ) , ... settings . hotKeyRegistry , } ; return settings ; }
Ensure map is updated when new hotkeys are added
Ensure map is updated when new hotkeys are added
Migrate the HotKeys to the default registry.