EDIT:
– unplugging everything, rebooting, then plugging back in seems to have re-instated the other users’ settings. Yay! Although … this seems very fragile / lucky / random, so I fear it might break again next time I reboot…
Even if you create an entirely separate user-account for them, with their own settings … if they happen to setup their keyboard differently, then:
- It permanently alters the keyboard settings, and there is no “reset”, nor “choose a different setup” button
- It also overwrites the keyboard settings for all other users of the computer, whether they want it or not
- It doesn’t even require admin privs – the user is just allowed to overwrite everyone else’s profile without question (including admin profiles)
Sigh. Yet again, a classic example: Apple has no idea how to make software. Someone at Apple *deliberately* broke this (they chose to remove the setup button after it was first setup), so that not only is the software buggy, but there’s nothing the user can do to fix it :(.
EDIT: googling suggests that the two ways to fix this are 1) mess with a lot of low-level config that will probably lock you out of your keyboard entirely, or 2) format your Mac and re-install from scratch. Hilarious. I’ll try the local Apple store, but from previous experience their “Genius” staff don’t seem to know much beyond the obvious, so I’m not hopeful. Sigh.