void gtkcheckmenuitem::toggled	(gtkcheckmenuitem *,
                              	 gpointer);