Pushes a synthetic input event into the backend event stream.
public void PushEvent(TerminalEvent ev)
The event to push.