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