Comment 39 for bug 993265

Thanks Eric, that's perfect.

Although it's a different crash to bug 1019337 and might be different again to what Paddy has. So please log it as a new bug titled:
  "gtk-window-decorator crashes with BadWindow (invalid Window parameter), from XDeleteProperty() from remove_frame_window() from window_closed()"