a couple of times. I must admit though that I had
been fooling around with putting the tablet into
sleep mode, and once that caused the keyboard to
stop working altogether. A reboot fixed that but
perhaps left the kde problem.

Anyway, I want to switch to the dual boot mode
so I'll be reinstalling again anyway.