On Apr 4, 2005, at 1:42, Juan Anorga wrote:
Web kit is slow at refreshing, and in beta 5 I refresh the view each time there's new output. For beta 6 it'll do at most one refresh per second, which helps a lot.
Is there a way to send the output once, so that webkit doesn't have to refresh so many times?
Not really -- you can e.g. pipe the output through 2 times 'cat' to get output buffering, but this buffer is likely not as big as your entire output, so you may still get several refreshes.