When window is hidden, either by being obscured or unmapped, and then
authorChris Hanson <org/chris-hanson/cph>
Thu, 4 Apr 1996 18:32:09 +0000 (18:32 +0000)
committerChris Hanson <org/chris-hanson/cph>
Thu, 4 Apr 1996 18:32:09 +0000 (18:32 +0000)
commite013de81a64271c2ed4221568b0d5b1470c19b76
tree3453723716df220356beb63296dc95fe892e3d36
parent7edc4317faa7269e7037661e38b3a92822df3200
When window is hidden, either by being obscured or unmapped, and then
revealed again, invalidate our model of the on-screen contents
immediately, so that it is repainted the next time someone writes
anything to the window.
v7/src/edwin/xterm.scm