gdk: Do final copy with OPERATOR_SOURCE in end_implicit_paint

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

diff --git a/gdk/gdkdisplay.h b/gdk/gdkdisplay.h
index 55fcf3825da946ff39d36bc2c20e14cb66e074ee..1b11b696c7d0322557363f22dbf7bb12b2bb3f9a 100644 (file)
--- a/gdk/gdkdisplay.h
+++ b/gdk/gdkdisplay.h
@@ -211,7 +211,8 @@ void        gdk_display_beep               (GdkDisplay  *display);
 void        gdk_display_sync               (GdkDisplay  *display);
 void        gdk_display_flush              (GdkDisplay  *display);
 
-void       gdk_display_close              (GdkDisplay  *display);
+void       gdk_display_close                  (GdkDisplay  *display);
+gboolean    gdk_display_is_closed          (GdkDisplay  *display);
 
 #ifndef GDK_DISABLE_DEPRECATED
 GList *     gdk_display_list_devices       (GdkDisplay  *display);