Fix long-standing bug that occurred when using multiple screens with a
authorChris Hanson <org/chris-hanson/cph>
Thu, 26 Oct 2000 18:03:15 +0000 (18:03 +0000)
committerChris Hanson <org/chris-hanson/cph>
Thu, 26 Oct 2000 18:03:15 +0000 (18:03 +0000)
commitbbede59ca0c3ea7efb42ffdeb0b71158d8600b95
tree168de5511fa3861d592d3866f0a06fcd00a32e8f
parented3dfbfb34ba4b78e30845dbd0beceb890a58431
Fix long-standing bug that occurred when using multiple screens with a
window manager that supports multiple workspaces: switching workspaces
sometimes caused an error to be signalled by X-WINDOW-SET-INPUT-FOCUS.
The problem is that the workspace switch caused all of Edwin's windows
to be unmapped.  Depending on the order in which the unmap events
arrived, Edwin might have queued a request to select another screen.
But since all of the screens were unmapped at the time the request was
processed, the attempt to set the input focus to one of these unmapped
screens always generated an error.

The fix eliminates the code that tried to select another screen.
Instead we depend on the window manager to tell us when another screen
needs to be selected.
v7/src/edwin/xterm.scm