From d6bacafc528ce35f96251c0c216ac27eac8ba9c0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Javier=20Jard=C3=B3n?= Date: Thu, 27 May 2010 15:37:19 +0200 Subject: [PATCH] [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 ba128865b1..d1f6a47a19 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 f705b6c694..af763770cc 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 a8c714d9d8..b77c2ceae8 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 208d2c3856..c98c3f40f4 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 1eedd43940..4f14090a25 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,