54dbe586ee
This is instead of using window_exists, which could give a false positive if a new window was allocated with the same pointer value as a deleted one. |
||
---|---|---|
.. | ||
2d | ||
3d | ||
arch | ||
editor | ||
main | ||
misc |
54dbe586ee
This is instead of using window_exists, which could give a false positive if a new window was allocated with the same pointer value as a deleted one. |
||
---|---|---|
.. | ||
2d | ||
3d | ||
arch | ||
editor | ||
main | ||
misc |