>>What command can I use for this? Something like KEYBOARD CLEAR, except that doesn't work unless you add something else to the buffer...
>
>CLEAR TYPEAHEAD
Thanks, that does the trick.
The Anonymous Bureaucrat,
and frankly, quite content not to be
a member of either major US political party.