void gtkcolorselection::color-changed	(gtkcolorselection *,
                                     	 gpointer);