OK, I found the problem: I was running unclutter and for some reason this was stopping some key presses from working. After killing it everything worked as it should.
AC -- Anthony Campbell - a...@acampbell.org.uk http://www.reviewbooks.org.uk http://www.skepticviews.org.uk http://www.acupuncturecourse.org.uk http://www.smashwords.com/profile.view/acampbell -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org