[gtk+] [docs] Use the correct gtk-doc notation

[Javier Jardón <jjardon src gnome org>]

commit d6bacafc528ce35f96251c0c216ac27eac8ba9c0
Author: Javier Jardón <jjardon gnome org>
Date:   Thu May 27 15:37:19 2010 +0200

    [docs] Use the correct gtk-doc notation
    
    Use 'Deprecated: 3.0:' intead 'Deprecated: 3.0.'

 gdk/gdkdisplay.c         |   24 ++++++++++++------------
 gdk/gdkwindow.c          |    8 ++++----
 gdk/x11/gdkdisplay-x11.c |    2 +-
 gdk/x11/gdkinput.c       |    4 ++--
 gdk/x11/gdkwindow-x11.c  |    2 +-
 5 files changed, 20 insertions(+), 20 deletions(-)
---
diff --git a/gdk/gdkdisplay.c b/gdk/gdkdisplay.c
index ba12886..d1f6a47 100644
--- a/gdk/gdkdisplay.c
+++ b/gdk/gdkdisplay.c
@@ -420,7 +420,7 @@ gdk_display_put_event (GdkDisplay     *display,
  *
  * Since: 2.2
  *
- * Deprecated: 3.0. Use gdk_device_ungrab(), together with gdk_device_grab()
+ * Deprecated: 3.0: Use gdk_device_ungrab(), together with gdk_device_grab()
  *             instead.
  */
 void
@@ -459,7 +459,7 @@ gdk_display_pointer_ungrab (GdkDisplay *display,
  * Ungrabs the pointer on the default display, if it is grabbed by this 
  * application.
  *
- * Deprecated: 3.0. Use gdk_device_ungrab(), together with gdk_device_grab()
+ * Deprecated: 3.0: Use gdk_device_ungrab(), together with gdk_device_grab()
  *             instead.
  **/
 void
@@ -479,7 +479,7 @@ gdk_pointer_ungrab (guint32 time)
  *
  * Return value: %TRUE if the pointer is currently grabbed by this application.
  *
- * Deprecated: 3.0. Use gdk_display_device_is_grabbed() instead.
+ * Deprecated: 3.0: Use gdk_display_device_is_grabbed() instead.
  **/
 gboolean
 gdk_pointer_is_grabbed (void)
@@ -496,7 +496,7 @@ gdk_pointer_is_grabbed (void)
  *
  * Since: 2.2
  *
- * Deprecated: 3.0. Use gdk_device_ungrab(), together with gdk_device_grab()
+ * Deprecated: 3.0: Use gdk_device_ungrab(), together with gdk_device_grab()
  *             instead.
  */
 void
@@ -535,7 +535,7 @@ gdk_display_keyboard_ungrab (GdkDisplay *display,
  * Ungrabs the keyboard on the default display, if it is grabbed by this 
  * application.
  *
- * Deprecated: 3.0. Use gdk_device_ungrab(), together with gdk_device_grab()
+ * Deprecated: 3.0: Use gdk_device_ungrab(), together with gdk_device_grab()
  *             instead.
  **/
 void
@@ -605,7 +605,7 @@ gdk_event_send_clientmessage_toall (GdkEvent *event)
  * Return value: the core pointer device; this is owned by the
  *   display and should not be freed.
  *
- * Deprecated: 3.0. Use gdk_display_get_device_manager() instead, or
+ * Deprecated: 3.0: Use gdk_display_get_device_manager() instead, or
  *             gdk_event_get_device() if a #GdkEvent with pointer device
  *             information is available.
  **/
@@ -626,7 +626,7 @@ gdk_device_get_core_pointer (void)
  *
  * Since: 2.2
  *
- * Deprecated: 3.0. Use gdk_display_get_device_manager() instead, or
+ * Deprecated: 3.0: Use gdk_display_get_device_manager() instead, or
  *             gdk_event_get_device() if a #GdkEvent with device
  *             information is available.
  **/
@@ -829,7 +829,7 @@ gdk_display_set_device_hooks (GdkDisplay                  *display,
  *
  * Since: 2.2
  *
- * Deprecated: 3.0. Use gdk_display_get_device_state() instead.
+ * Deprecated: 3.0: Use gdk_display_get_device_state() instead.
  **/
 void
 gdk_display_get_pointer (GdkDisplay      *display,
@@ -925,7 +925,7 @@ gdk_window_real_window_get_device_position (GdkDisplay       *display,
  *
  * Since: 2.2
  *
- * Deprecated: 3.0. Use gdk_display_get_window_at_device_position() instead.
+ * Deprecated: 3.0: Use gdk_display_get_window_at_device_position() instead.
  **/
 GdkWindow *
 gdk_display_get_window_at_pointer (GdkDisplay *display,
@@ -1019,7 +1019,7 @@ multihead_default_window_at_pointer (GdkDisplay *display,
  *
  * Since: 2.2
  *
- * Deprecated: 3.0. Use gdk_display_set_device_hooks() instead.
+ * Deprecated: 3.0: Use gdk_display_set_device_hooks() instead.
  **/
 GdkDisplayPointerHooks *
 gdk_display_set_pointer_hooks (GdkDisplay                   *display,
@@ -1121,7 +1121,7 @@ singlehead_default_window_at_pointer  (GdkScreen       *screen,
  * 
  * Return value: the previous pointer hook table
  *
- * Deprecated: 3.0. Use gdk_display_set_device_hooks() instead.
+ * Deprecated: 3.0: Use gdk_display_set_device_hooks() instead.
  **/
 GdkPointerHooks *
 gdk_set_pointer_hooks (const GdkPointerHooks *new_hooks)
@@ -1743,7 +1743,7 @@ gdk_device_grab_info_libgtk_only (GdkDisplay  *display,
  *
  * Since: 2.2
  *
- * Deprecated: 3.0. Use gdk_display_device_is_grabbed() instead.
+ * Deprecated: 3.0: Use gdk_display_device_is_grabbed() instead.
  */
 gboolean
 gdk_display_pointer_is_grabbed (GdkDisplay *display)
diff --git a/gdk/gdkwindow.c b/gdk/gdkwindow.c
index f705b6c..af76377 100644
--- a/gdk/gdkwindow.c
+++ b/gdk/gdkwindow.c
@@ -6448,7 +6448,7 @@ gdk_window_constrain_size (GdkGeometry *geometry,
  * gdk_window_at_pointer()), or %NULL if the window containing the
  * pointer isn't known to GDK
  *
- * Deprecated: 3.0. Use gdk_window_get_device_position() instead.
+ * Deprecated: 3.0: Use gdk_window_get_device_position() instead.
  **/
 GdkWindow*
 gdk_window_get_pointer (GdkWindow	  *window,
@@ -6530,7 +6530,7 @@ gdk_window_get_device_position (GdkWindow       *window,
  *
  * Return value: (transfer none): window under the mouse pointer
  *
- * Deprecated: 3.0. Use gdk_display_get_window_at_device_position() instead.
+ * Deprecated: 3.0: Use gdk_display_get_window_at_device_position() instead.
  **/
 GdkWindow*
 gdk_window_at_pointer (gint *win_x,
@@ -10601,7 +10601,7 @@ _gdk_display_set_window_under_pointer (GdkDisplay *display,
  *
  * Returns: %GDK_GRAB_SUCCESS if the grab was successful.
  *
- * Deprecated: 3.0. Use gdk_device_grab() instead.
+ * Deprecated: 3.0: Use gdk_device_grab() instead.
  **/
 GdkGrabStatus
 gdk_pointer_grab (GdkWindow *	  window,
@@ -10720,7 +10720,7 @@ available.
  *
  * Returns: %GDK_GRAB_SUCCESS if the grab was successful.
  *
- * Deprecated: 3.0. Use gdk_device_grab() instead.
+ * Deprecated: 3.0: Use gdk_device_grab() instead.
  **/
 GdkGrabStatus
 gdk_keyboard_grab (GdkWindow *window,
diff --git a/gdk/x11/gdkdisplay-x11.c b/gdk/x11/gdkdisplay-x11.c
index a8c714d..b77c2ce 100644
--- a/gdk/x11/gdkdisplay-x11.c
+++ b/gdk/x11/gdkdisplay-x11.c
@@ -2498,7 +2498,7 @@ gdk_display_supports_composite (GdkDisplay *display)
  *
  * Since: 2.2
  *
- * Deprecated: 3.0. Use gdk_device_manager_list_devices() instead.
+ * Deprecated: 3.0: Use gdk_device_manager_list_devices() instead.
  **/
 GList *
 gdk_display_list_devices (GdkDisplay *display)
diff --git a/gdk/x11/gdkinput.c b/gdk/x11/gdkinput.c
index 208d2c3..c98c3f4 100644
--- a/gdk/x11/gdkinput.c
+++ b/gdk/x11/gdkinput.c
@@ -53,7 +53,7 @@ struct _GdkInputWindow
  *
  * Return value: a list of #GdkDevice
  *
- * Deprecated: 3.0. Use gdk_device_manager_list_devices() instead.
+ * Deprecated: 3.0: Use gdk_device_manager_list_devices() instead.
  **/
 GList *
 gdk_devices_list (void)
@@ -143,7 +143,7 @@ unset_extension_events (GdkWindow *window)
  * Turns extension events on or off for a particular window,
  * and specifies the event mask for extension events.
  *
- * Deprecated: 3.0. Use gdk_window_set_device_events() instead.
+ * Deprecated: 3.0: Use gdk_window_set_device_events() instead.
  **/
 void
 gdk_input_set_extension_events (GdkWindow        *window,
diff --git a/gdk/x11/gdkwindow-x11.c b/gdk/x11/gdkwindow-x11.c
index 1eedd43..4f14090 100644
--- a/gdk/x11/gdkwindow-x11.c
+++ b/gdk/x11/gdkwindow-x11.c
@@ -3143,7 +3143,7 @@ gdk_window_x11_get_device_state (GdkWindow       *window,
  *
  * Since: 2.8
  *
- * Deprecated: 3.0. Use gdk_display_warp_device() instead.
+ * Deprecated: 3.0: Use gdk_display_warp_device() instead.
  */ 
 void
 gdk_display_warp_pointer (GdkDisplay *display,