What command can I use for this? Something like KEYBOARD CLEAR, except that doesn't work unless you add something else to the buffer...