[docs] Use the correct gtk-doc notation

Use 'Deprecated: 3.0:' intead 'Deprecated: 3.0.'

diff --git a/gdk/gdkdisplay.c b/gdk/gdkdisplay.c
index ba128865b16b485e14af16d19de964f4c3981c66..d1f6a47a19b7a5ae6f3f790ffec347a0553fbd40 100644 (file)
--- 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 f705b6c694f370570307e14a9c83fe50cf938454..af763770cca364da70b74cb1765ff8dc70d2617b 100644 (file)
--- 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 a8c714d9d8ace26920120db0e38b494b84727d39..b77c2ceae8a3ef96c541172b647c9e7a1e9517c9 100644 (file)
--- 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 208d2c3856c0d10865a51a94d351c505c0e310bd..c98c3f40f4684fe72106c9bde66b0fc40b08743c 100644 (file)
--- 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 1eedd43940c3a7fd2eb252a60d435d6aaa8e9954..4f14090a2585dd51cb669747dd296b050987f5dc 100644 (file)
--- 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,