GdkDisplay::flush

void flush();