projects / mit-scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f15505b) | patch
Disallow selection of a deleted screen. Unfortunately this can happen
authorChris Hanson <org/chris-hanson/cph>
Sun, 1 Aug 1993 06:10:37 +0000 (06:10 +0000)
committerChris Hanson <org/chris-hanson/cph>
Sun, 1 Aug 1993 06:10:37 +0000 (06:10 +0000)
commit67ff489c77421f47ab9cabb0d58bc9fe803811bf
treeae8f17936aea34044a122c127b309cfe87849b43tree | snapshot
parentf15505b8f02de07dbe1feaa8cf51ea26c029d3e1commit | diff
Disallow selection of a deleted screen.  Unfortunately this can happen
because MWM generates these two events in sequence when the "close"
window menu entry is selected:

1. WM_DELETE_WINDOW event on the given screen.

2. FocusIn event on the given screen.  Yuck!  Side effect of selecting
   the menu button on the screen.
v7/src/edwin/curren.scm diff | blob | history
MIT/GNU Scheme, Pucked