fixup! Issue #99: generatekeyevent should send events to the system.

Keep API consistent.