I'll try that.

But I have a more immediate problem. I run the Debian desktop and then open a terminal window. I then open the virtual keyboard (the full one) so that I can enter commands. But every time I hit a key, it seems to have a repeat function working, so the letter is entered again and again until I hit another key or move the cursor away from the keyboard. It's very annoying.