- gtk_object_add_arg_type ("GtkWidget::x", GTK_TYPE_INT);
- gtk_object_add_arg_type ("GtkWidget::y", GTK_TYPE_INT);
- gtk_object_add_arg_type ("GtkWidget::width", GTK_TYPE_INT);
- gtk_object_add_arg_type ("GtkWidget::height", GTK_TYPE_INT);
- gtk_object_add_arg_type ("GtkWidget::visible", GTK_TYPE_BOOL);
- gtk_object_add_arg_type ("GtkWidget::sensitive", GTK_TYPE_BOOL);
- gtk_object_add_arg_type ("GtkWidget::events", GTK_TYPE_GDK_EVENT_MASK);
- gtk_object_add_arg_type ("GtkWidget::extension_events", GTK_TYPE_GDK_EVENT_MASK);
- gtk_object_add_arg_type ("GtkWidget::name", GTK_TYPE_STRING);
- gtk_object_add_arg_type ("GtkWidget::style", GTK_TYPE_STYLE);
- gtk_object_add_arg_type ("GtkWidget::parent", GTK_TYPE_CONTAINER);
+ gtk_object_add_arg_type ("GtkWidget::x", GTK_TYPE_INT, ARG_X);
+ gtk_object_add_arg_type ("GtkWidget::y", GTK_TYPE_INT, ARG_Y);
+ gtk_object_add_arg_type ("GtkWidget::width", GTK_TYPE_INT, ARG_WIDTH);
+ gtk_object_add_arg_type ("GtkWidget::height", GTK_TYPE_INT, ARG_HEIGHT);
+ gtk_object_add_arg_type ("GtkWidget::visible", GTK_TYPE_BOOL, ARG_VISIBLE);
+ gtk_object_add_arg_type ("GtkWidget::sensitive", GTK_TYPE_BOOL, ARG_SENSITIVE);
+ gtk_object_add_arg_type ("GtkWidget::events", GTK_TYPE_GDK_EVENT_MASK, ARG_EVENTS);
+ gtk_object_add_arg_type ("GtkWidget::extension_events", GTK_TYPE_GDK_EVENT_MASK, ARG_EXTENSION_EVENTS);
+ gtk_object_add_arg_type ("GtkWidget::name", GTK_TYPE_STRING, ARG_NAME);
+ gtk_object_add_arg_type ("GtkWidget::style", GTK_TYPE_STYLE, ARG_STYLE);
+ gtk_object_add_arg_type ("GtkWidget::parent", GTK_TYPE_CONTAINER, ARG_PARENT);