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()"
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: window- decorator crashes with BadWindow (invalid Window parameter), from XDeleteProperty() from remove_ frame_window( ) from window_closed()"
"gtk-