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