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