Dana Jansens 9339584771 Fix races that occur when a window id is destroyed and recreated very quickly. This behaviour happens when restarting the window manager. ...

Don't use windows that are destroyed when restacking other windows or when handling events on a window id.  It is possible for the same window id to appear in the window list multiple times if it is destroyed then created before the destroy fade-out completes.

2008-02-20 00:42:46 -05:00

57 KiB

Raw Blame History

View Raw