Modify the background color of a widget (32 bits colors). Some GTK objects can't be directly modified; in this case, you should modify the parent or try placing this widget in a GtkEventBox [-> TODO !].
Modifie la couleur d'arrière-plan d'un widget.
_widget_ : ObjGtk : a widget already created.
_flag_ : I : one of these flag :
_color_ : [I I I] : red, green and blue colors (each on 16 bits). If the tuple is nil, this function undoes its last call
Return : ObjGtk : the same widget _widget_.
typeof win = ObjGtk;; typeof button = ObjGtk;; fun main()= _showconsole; set win = _gtkWindowNew _channel parent "fenêtre de test fille" SGTK_POS_MOUSE; set button = _gtkButtonNewLabel _channel "Bouton"; _gtkWidgetBackgroundColor button SGTK_STATE_PRELIGHT [32550 12540 3254]; ...

with mouse over the button (left), with mouse outside the button (right)