void gtkmenuitem::activate	(gtkmenuitem *,
                          	 gpointer);
void gtkmenuitem::activate-item	(gtkmenuitem *,
                               	 gpointer);