Don't crash on die() if window is already dead
authorJack Miller <jack@codezen.org>
Fri, 17 Oct 2014 18:31:01 +0000 (13:31 -0500)
committerJack Miller <jack@codezen.org>
Fri, 17 Oct 2014 18:31:01 +0000 (13:31 -0500)
commit93f8759ce1be0b33751a9e5520e1ac48648ea026
treecea73f7cb6f1acd34daca5d0efd2fefe864ae10f
parenta22507da9b3de6d39568f2621747f1505b3ecbcf
Don't crash on die() if window is already dead

Resizes and other mundane stuff can cause a window to be killed and
refreshed, so if a die() is called from a command and the window isn't
being tracked by the Screen, just forget about it.
canto_curses/screen.py