Comment 2 for bug 376592

/usr/lib/hal/debian-setup-keyboard runs each time a keyboard is plugged in. debian-setup-keyboard sets the keyboard model, layout, variants and options from what's in /etc/default/console-setup, which doesn't reflect anything set up by the keyboard preferences.

I can modify debian-setup-keyboard to set the values from the values returned by xprop on the root window, or to use the values in /etc/default/console-setup if I can't get them from xprop. I'll try to make time to do that tonight or tomorrow morning, and I'll post the revised debian-setup-keyboard here then.