evplay.icn: Procedure to "play back" recorded window events

link evplay
July 15, 1995; Ralph E. Griswold
Requires: Version 9 graphics
This file is in the public domain.

evplay(win) reads a window event history file (such as produced by
evrecord()), and puts an event on the event queue for the given window.
If the global identifier EventFile is nonnull, it is used as the
event history; otherwise standard input is used.