My friend John is running a Python script with lots of print statements in some looping program. The data scrolls and scrolls, maybe all day long, and he says its filling up the history buffer -- what IDLE keeps around to scroll back through. He'd like to periodically delete this buffer or clear it, from within his program. Is there a way? Kirby