Problem passing pointer to widget with gtk_idle_add()

[Jason LaPenta <lapenta_jm yahoo com>]

MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii

Hello,

When I pass a pointer to a widget with 

void on_scan_window_show( GtkWidget *widget,
gpointer user_data )
{
  printf( " adding main_idle 0x%x\n", widget );
  g_idle_id = gtk_idle_add( main_idle, widget );
}

By the time the user_data pointer gets to 

gint main_idle ( gpointer user_data )
{
...
}

My user_data( which should be a pointer to widget
) looks like it got casted to a 16bit int for
some reason. At the very least it is mangled.
Anybody know why?

Thanks
Jason

__________________________________________________
Do You Yahoo!?
Great stuff seeking new owners in Yahoo! Auctions! 
http://auctions.yahoo.com