Bob Nystrom 2021e086bf Don't automatically flush on every System.write(). ...

It's handy because it ensures writes are flushed to the terminal before
any calls to read from stdin, but it's also gratuitously slow.

Instead, added a Stdout class with an explicit flush() method that can
be called by the user.

Fix #445.

2017-10-09 07:16:05 -07:00

..

directory.markdown

More file system checking functions:

2016-02-21 12:23:33 -08:00

file-flags.markdown

More file IO!

2016-02-20 09:23:42 -08:00

file.markdown

File.realPath().

2016-02-27 15:53:02 -08:00

index.markdown

Don't automatically flush on every System.write().

2017-10-09 07:16:05 -07:00

stat.markdown

More file system checking functions:

2016-02-21 12:23:33 -08:00

stdin.markdown

Don't automatically flush on every System.write().

2017-10-09 07:16:05 -07:00

stdout.markdown

Don't automatically flush on every System.write().

2017-10-09 07:16:05 -07:00

template.html

Don't automatically flush on every System.write().

2017-10-09 07:16:05 -07:00