Remove gdk_screen_close, add a section for GdkDisplayManager, add

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

diff --git a/gdk/gdkdisplay.c b/gdk/gdkdisplay.c
index 47cb674f6b96bcb4854d051ddec83a923bde1559..dfaae31ad73f6c1a34ca7c099ca0303e373ea16c 100644 (file)
--- a/gdk/gdkdisplay.c
+++ b/gdk/gdkdisplay.c
@@ -218,6 +218,7 @@ gdk_display_put_event (GdkDisplay *display,
  * gdk_pointer_ungrab:
  * @time: a timestamp from a #GdkEvent, or %GDK_CURRENT_TIME if no timestamp is
  *        available.
+ *
  * Ungrabs the pointer, if it is grabbed by this application.
  **/
 void