void set_background(GdkWindow window, state_type);