gitk: Implement a simple scheduler for the compute-intensive stuff
commit7eb3cb9c683624681541972910328054e9431b43
authorPaul Mackerras <paulus@samba.org>
Sun, 17 Jun 2007 04:45:00 +0000 (17 14:45 +1000)
committerPaul Mackerras <paulus@samba.org>
Sat, 23 Jun 2007 10:55:38 +0000 (23 20:55 +1000)
treee3a06b48af70922be2c006ef50466ba8d010fd04
parente507fd4871acc52cc95934d3d5a6faa04d504ec9
gitk: Implement a simple scheduler for the compute-intensive stuff

This allows us to do compute-intensive processing, such as laying out
the graph, relatively efficiently while also having the GUI be
reasonably responsive.  The problem previously was that file events
were serviced before X events, so reading from another process which
supplies data quickly (hi git rev-list :) could mean that X events
didn't get processed for a long time.

With this, gitk finishes laying out the graph slightly sooner and
still responds to the GUI while doing so.

Signed-off-by: Paul Mackerras <paulus@samba.org>
gitk