From 38e09dcbb1915442573e19b5856f09870c41b4a6 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Wed, 15 Sep 2010 13:22:51 -0400 Subject: [PATCH] Use gint instead of in for local consistency --- gtk/gtkwidget.c | 16 ++++++++-------- gtk/gtkwidget.h | 16 ++++++++-------- 2 files changed, 16 insertions(+), 16 deletions(-) diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c index bac96201e9..dcd8a583c8 100644 --- a/gtk/gtkwidget.c +++ b/gtk/gtkwidget.c @@ -11533,7 +11533,7 @@ gtk_widget_set_v_align (GtkWidget *widget, g_object_notify (G_OBJECT (widget), "v-align"); } -int +gint gtk_widget_get_margin_left (GtkWidget *widget) { g_return_val_if_fail (GTK_IS_WIDGET (widget), 0); @@ -11543,7 +11543,7 @@ gtk_widget_get_margin_left (GtkWidget *widget) void gtk_widget_set_margin_left (GtkWidget *widget, - int margin) + gint margin) { GtkWidgetAuxInfo *aux_info; @@ -11560,7 +11560,7 @@ gtk_widget_set_margin_left (GtkWidget *widget, g_object_notify (G_OBJECT (widget), "margin-left"); } -int +gint gtk_widget_get_margin_right (GtkWidget *widget) { g_return_val_if_fail (GTK_IS_WIDGET (widget), 0); @@ -11570,7 +11570,7 @@ gtk_widget_get_margin_right (GtkWidget *widget) void gtk_widget_set_margin_right (GtkWidget *widget, - int margin) + gint margin) { GtkWidgetAuxInfo *aux_info; @@ -11587,7 +11587,7 @@ gtk_widget_set_margin_right (GtkWidget *widget, g_object_notify (G_OBJECT (widget), "margin-right"); } -int +gint gtk_widget_get_margin_top (GtkWidget *widget) { g_return_val_if_fail (GTK_IS_WIDGET (widget), 0); @@ -11597,7 +11597,7 @@ gtk_widget_get_margin_top (GtkWidget *widget) void gtk_widget_set_margin_top (GtkWidget *widget, - int margin) + gint margin) { GtkWidgetAuxInfo *aux_info; @@ -11614,7 +11614,7 @@ gtk_widget_set_margin_top (GtkWidget *widget, g_object_notify (G_OBJECT (widget), "margin-top"); } -int +gint gtk_widget_get_margin_bottom (GtkWidget *widget) { g_return_val_if_fail (GTK_IS_WIDGET (widget), 0); @@ -11624,7 +11624,7 @@ gtk_widget_get_margin_bottom (GtkWidget *widget) void gtk_widget_set_margin_bottom (GtkWidget *widget, - int margin) + gint margin) { GtkWidgetAuxInfo *aux_info; diff --git a/gtk/gtkwidget.h b/gtk/gtkwidget.h index 73c7bb6b24..baf77dc14f 100644 --- a/gtk/gtkwidget.h +++ b/gtk/gtkwidget.h @@ -747,18 +747,18 @@ void gtk_widget_set_h_align (GtkWidget *widget, GtkAlign gtk_widget_get_v_align (GtkWidget *widget); void gtk_widget_set_v_align (GtkWidget *widget, GtkAlign align); -int gtk_widget_get_margin_left (GtkWidget *widget); +gint gtk_widget_get_margin_left (GtkWidget *widget); void gtk_widget_set_margin_left (GtkWidget *widget, - int margin); -int gtk_widget_get_margin_right (GtkWidget *widget); + gint margin); +gint gtk_widget_get_margin_right (GtkWidget *widget); void gtk_widget_set_margin_right (GtkWidget *widget, - int margin); -int gtk_widget_get_margin_top (GtkWidget *widget); + gint margin); +gint gtk_widget_get_margin_top (GtkWidget *widget); void gtk_widget_set_margin_top (GtkWidget *widget, - int margin); -int gtk_widget_get_margin_bottom (GtkWidget *widget); + gint margin); +gint gtk_widget_get_margin_bottom (GtkWidget *widget); void gtk_widget_set_margin_bottom (GtkWidget *widget, - int margin); + gint margin); /* The following functions must not be called on an already