Skip to content
Prev 205341 / 398506 Next

locator and print

On 04/01/2010 10:18 AM, Thomas Roth wrote:
flush.console() will flush output to the console in systems that support 
it.  In the Windows GUI, there's a menu item "Misc | Buffered output" 
that can control buffering.

Duncan Murdoch