void
gdk_display_flush (
  GdkDisplay* display
)