diff options
-rwxr-xr-x | gui.py | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -60,11 +60,11 @@ class WaitWindow: gdk_flush () thread = currentThread () print thread.getName () - if thread.getName () == "gtk_main": - while events_pending (): - mainiteration (FALSE) - else: - time.sleep (1) +# if thread.getName () == "gtk_main": + while events_pending (): + mainiteration (FALSE) +# else: +# time.sleep (1) threads_leave () def pop(self): |