From 7e37b457873f917cfc045f511a28d4e30fb6024a Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Wed, 13 Jun 2012 18:23:26 -0400 Subject: [PATCH] Fix up the deprecation annotation for gtk_widget_get_pointer When I added the versioned annotation, I accidentally backdated it, so the Deprecated: tag in the docs said 3.4, but the annotation said 3.0. Fix it so we say 3.4 in both places. --- gtk/gtkwidget.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gtk/gtkwidget.h b/gtk/gtkwidget.h index 5a4ac4ff42..33a54d00f9 100644 --- a/gtk/gtkwidget.h +++ b/gtk/gtkwidget.h @@ -743,7 +743,7 @@ void gtk_widget_set_margin_bottom (GtkWidget *widget, gint gtk_widget_get_events (GtkWidget *widget); GdkEventMask gtk_widget_get_device_events (GtkWidget *widget, GdkDevice *device); -GDK_DEPRECATED_IN_3_0_FOR(gdk_window_get_device_position) +GDK_DEPRECATED_IN_3_4_FOR(gdk_window_get_device_position) void gtk_widget_get_pointer (GtkWidget *widget, gint *x, gint *y);