If a window is unmapped when it is selected, perhaps by deleting
authorChris Hanson <org/chris-hanson/cph>
Thu, 4 Apr 1996 18:39:30 +0000 (18:39 +0000)
committerChris Hanson <org/chris-hanson/cph>
Thu, 4 Apr 1996 18:39:30 +0000 (18:39 +0000)
commit27000f208699ba2ca62e0a82aa9244ce50ffbab4
tree55a0f91184b674c6a5f2be771fb9168cbbbe3de3
parent4911aaed34f0458d57e5a91d5015962f8872e757
If a window is unmapped when it is selected, perhaps by deleting
another window, map and raise it.
v7/src/edwin/xterm.scm