# HG changeset patch
# User ib
# Date 1365165396 0
# Node ID 6bed8c7aaf8ff66bce5ef39d57fc2282b18c1bb8
# Parent  5fb59898a79852d606644fb2b718190e50f49829
Remove gtkEventHandling().

GUI_HANDLE_X_EVENT should only handle X events.
GTK events will already be handled in GUI_HANDLE_EVENTS.

diff -r 5fb59898a798 -r 6bed8c7aaf8f gui/interface.c
--- a/gui/interface.c	Fri Apr 05 12:34:44 2013 +0000
+++ b/gui/interface.c	Fri Apr 05 12:36:36 2013 +0000
@@ -761,7 +761,6 @@
     case GUI_HANDLE_X_EVENT:
 
         wsEvent(data);
-        gtkEventHandling();
         break;
 
     case GUI_END_FILE: