Fix a key event handling bug.
Improve clipboard support in Linux. Still a lot to do here.