* xfns.c (Fx_window_property): Simplify a bit,