void apply_default_background(GdkWindow window, set_bg, state_type, GdkRectangle area, x, y, width, height);