Use G_GNUC_NULL_TERMINATED where appropriate. (#165682, Marc Meissner)

[~andy/gtk] / gtk / gtkwidget.h

diff --git a/gtk/gtkwidget.h b/gtk/gtkwidget.h
index 951c560c51e4a4c9029c4feb5ec3894ab6ba2393..7ba87459e966521d99a7aa5be25f652a89ffc2b0 100644 (file)
--- a/gtk/gtkwidget.h
+++ b/gtk/gtkwidget.h
@@ -435,7 +435,7 @@ struct _GtkWidgetShapeInfo
 GType     gtk_widget_get_type            (void) G_GNUC_CONST;
 GtkWidget* gtk_widget_new                (GType                type,
                                           const gchar         *first_property_name,
-                                          ...);
+                                          ...) G_GNUC_NULL_TERMINATED;
 GtkWidget* gtk_widget_ref                (GtkWidget           *widget);
 void      gtk_widget_unref               (GtkWidget           *widget);
 void      gtk_widget_destroy             (GtkWidget           *widget);
@@ -444,7 +444,7 @@ void           gtk_widget_destroyed           (GtkWidget           *widget,
 #ifndef GTK_DISABLE_DEPRECATED
 void      gtk_widget_set                 (GtkWidget           *widget,
                                           const gchar         *first_property_name,
-                                          ...);
+                                          ...) G_GNUC_NULL_TERMINATED;
 #endif /* GTK_DISABLE_DEPRECATED */
 void      gtk_widget_unparent            (GtkWidget           *widget);
 void      gtk_widget_show                (GtkWidget           *widget);
@@ -716,7 +716,7 @@ void gtk_widget_style_get_valist   (GtkWidget            *widget,
                                    va_list         var_args);
 void gtk_widget_style_get          (GtkWidget       *widget,
                                    const gchar    *first_property_name,
-                                   ...);
+                                   ...) G_GNUC_NULL_TERMINATED;
 
 
 /* Set certain default values to be used at widget creation time.