GTK_TYPE_POINTER_GINT?

[Murray Cumming <murrayc usa net>]

signal's that take pointers to basic types (e.g. gint*), such as GtkMenuItem's
"toggle-size-request" signal:

void (* toggle_size_request)  (GtkMenuItem *menu_item,
				 gint        *requisition);

Are registered as taking simple gpointers:

menu_item_signals[TOGGLE_SIZE_REQUEST] =
    gtk_signal_new ("toggle_size_request",
                    GTK_RUN_FIRST,
                    GTK_CLASS_TYPE (object_class),
                    GTK_SIGNAL_OFFSET (GtkMenuItemClass,
toggle_size_request),
                    gtk_marshal_NONE__POINTER,
		    GTK_TYPE_NONE, 1,
		    GTK_TYPE_POINTER);

Is there any way to provide more information about type, saying that it's a
pointer to a gint, so that my .defs generator can discover it?


Murray Cumming
murrayc usa net
www.murrayc.com