Add gdk_display_is_closed

https://bugzilla.gnome.org/show_bug.cgi?id=624224
This commit is contained in:
John Stowers 2010-07-14 20:48:54 +12:00
parent 59e7571aae
commit 4198dd8519
4 changed files with 20 additions and 1 deletions

View File

@ -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

View File

@ -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

View File

@ -338,6 +338,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

View File

@ -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);