Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!husc6!uwvax!rutgers!ames!sdcsvax!ucbvax!DECWRL.DEC.COM!haynes
From: haynes@DECWRL.DEC.COM
Newsgroups: comp.windows.x
Subject: Re: LeaveWindow Events when windows are unmapped.
Message-ID: <8709101057.AA22099@vulcan.dec.com>
Date: Thu, 10-Sep-87 07:26:10 EDT
Article-I.D.: vulcan.8709101057.AA22099
Posted: Thu Sep 10 07:26:10 1987
Date-Received: Sat, 12-Sep-87 07:20:31 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 6

The DEC GPX X11 server I'm running gives me leave window events when
the pointer is in a window that has gotten unmapped.

I suspect other X11 servers do the right thing as well.

	-- Charles