diff gui/interface.c @ 33732:90c992ac5011

Make guiEventHandling() a gui() call. The new parameter to use is GUI_HANDLE_EVENTS.

--- a/gui/interface.c	Tue Jul 05 12:05:06 2011 +0000
+++ b/gui/interface.c	Tue Jul 05 13:48:55 2011 +0000
@@ -598,6 +598,12 @@
 
         break;
 
+    case GUI_HANDLE_EVENTS:
+        if (!guiInfo.Playing || !guiInfo.MovieWindow)
+            wsHandleEvents();
+        gtkEventHandling();
+        break;
+
     case GUI_RUN_COMMAND:
 
         mp_dbg(MSGT_GPLAYER, MSGL_DBG2, "[interface] GUI_RUN_COMMAND: %d\n", (int)arg);
@@ -1026,14 +1032,6 @@
     return True;
 }
 
-void guiEventHandling(void)
-{
-    if (!guiInfo.Playing || !guiInfo.MovieWindow)
-        wsHandleEvents();
-
-    gtkEventHandling();
-}
-
 // ---
 #if defined(MP_DEBUG) && 0
 void list(void)