external set_window_background : style -> Gdk.window -> state_type -> unit = "ml_gtk_style_set_background"