gdk_display_get_event: don't unqueue events from the windowing system when paused

[~andy/gtk] / gdk / gdkinternals.h

diff --git a/gdk/gdkinternals.h b/gdk/gdkinternals.h
index fb561e6f74ac95575e9c2b0fab0ced4926a83fa3..babef6e7f6aed67d558c03751af5be8bda66d39f 100644 (file)
--- a/gdk/gdkinternals.h
+++ b/gdk/gdkinternals.h
@@ -300,6 +300,9 @@ GList* _gdk_event_queue_insert_after (GdkDisplay *display,
 GList* _gdk_event_queue_insert_before(GdkDisplay *display,
                                       GdkEvent   *after_event,
                                       GdkEvent   *event);
+
+void    _gdk_event_queue_handle_motion_compression (GdkDisplay *display);
+
 void   _gdk_event_button_generate    (GdkDisplay *display,
                                       GdkEvent   *event);