Actually … you’ve given me an idea that Might Just Work…

The problem came when the other person pressed “the key to the right of shift, so that I [OS X] can work out what keyboard you’re using, automatically”.

Perhaps if I create N additional users, and in each case I press a different key, then by trial and error I can find which keyboard map OS X was using by default.

Then, if I’m really lucky, I can delete all the extra users, but the settings will remain :).

Thanks!

NB: I’ve looked all through the settings, the internationalization system, and the keyboard mapper, but not found any “extra” keyboard maps, so I don’t know where/how OS X has installed this custom map :(.

That’s an excellent idea. Unfortunately, the way OS X works, you are “not allowed” to set these settings, unless you want to make them into custom ones. It’s supposed to make it “easier to use”. Ha!

What I want is:

“use the settings as they were before a user changed them”

There is nothing “active” that set the original settings – the defaults were simply correct. There is no “reset to defaults” button :(.

However, if I can find a way to uninstall the keyboard (not sure that’s possible – its plug n play), I’ll try that and then plug it in again and hope that Apple installs the default settings, instead of retaining the old ones it created.