[gtk+] Add gdk_display_is_closed

[John Stowers <jstowers src gnome org>]

commit 4198dd8519c3bce56f51b071e9ee0477fe6c3a26
Author: John Stowers <john stowers gmail com>
Date:   Wed Jul 14 20:48:54 2010 +1200

    Add gdk_display_is_closed
    
    https://bugzilla.gnome.org/show_bug.cgi?id=624224

 docs/reference/gdk/gdk3-sections.txt |    1 +
 gdk/gdk.symbols                      |    1 +
 gdk/gdkdisplay.c                     |   16 ++++++++++++++++
 gdk/gdkdisplay.h                     |    3 ++-
 4 files changed, 20 insertions(+), 1 deletions(-)
---
diff --git a/docs/reference/gdk/gdk3-sections.txt b/docs/reference/gdk/gdk3-sections.txt
index f611c01..4911479 100644
--- a/docs/reference/gdk/gdk3-sections.txt
+++ b/docs/reference/gdk/gdk3-sections.txt
@@ -129,6 +129,7 @@ gdk_display_beep
 gdk_display_sync
 gdk_display_flush
 gdk_display_close
+gdk_display_is_closed
 gdk_display_list_devices
 gdk_display_get_event
 gdk_display_peek_event
diff --git a/gdk/gdk.symbols b/gdk/gdk.symbols
index 3e02b91..a97f067 100644
--- a/gdk/gdk.symbols
+++ b/gdk/gdk.symbols
@@ -415,6 +415,7 @@ gdk_input_set_extension_events
 #if IN_HEADER(__GDK_DISPLAY_H__)
 #if IN_FILE(__GDK_DISPLAY_C__)
 gdk_display_close
+gdk_display_is_closed
 gdk_display_get_event
 gdk_display_get_device_manager
 gdk_display_get_device_state
diff --git a/gdk/gdkdisplay.c b/gdk/gdkdisplay.c
index 437ea9e..e81c5f7 100644
--- a/gdk/gdkdisplay.c
+++ b/gdk/gdkdisplay.c
@@ -339,6 +339,22 @@ gdk_display_close (GdkDisplay *display)
 }
 
 /**
+ * gdk_display_is_closed:
+ * @display: a #GdkDisplay
+ *
+ * Returns %TRUE if the display is closed.
+ *
+ * Since: 2.22
+ */
+gboolean
+gdk_display_is_closed  (GdkDisplay  *display)
+{
+  g_return_val_if_fail (GDK_IS_DISPLAY (display), FALSE);
+
+  return display->closed;
+}
+
+/**
  * gdk_display_get_event:
  * @display: a #GdkDisplay
  * 
diff --git a/gdk/gdkdisplay.h b/gdk/gdkdisplay.h
index 55fcf38..1b11b69 100644
--- 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);