diff -Naur smart-0.51/smart/interfaces/gtk/interactive.py smart-0.51.tpg/smart/interfaces/gtk/interactive.py
--- smart-0.51/smart/interfaces/gtk/interactive.py	2006-11-21 19:45:58.000000000 +0000
+++ smart-0.51.tpg/smart/interfaces/gtk/interactive.py	2007-08-29 09:18:23.000000000 +0000
@@ -720,10 +720,9 @@
     def setBusy(self, flag):
         if flag:
             self._window.window.set_cursor(self._watch)
-            while gtk.events_pending():
-                gtk.main_iteration()
         else:
             self._window.window.set_cursor(None)
+	gtk.main_iteration_do(False)
 
     def changedMarks(self):
         if "hide-unmarked" in self._filters: