void gtkadjustment::changed	(gtkadjustment *,
                           	 gpointer);
void gtkadjustment::value-changed	(gtkadjustment *,
                                 	 gpointer);