19 Aug
2010
19 Aug
'10
6:09 p.m.
On Thu, Aug 19, 2010 at 18:44, Hans Hagen
i've been using this for a quite some time now:
http://sourceforge.net/projects/console/
it is much faster in scrolling the log; it captures the output and flushes periodically contrary to the normal console which flushes each char and as tex often writes char by char ...; other os's use delays in the refresh in consoles so there it's less noticeable
Thanks for the link.