Ben Wing <ben(a)666.com> writes:
[Ben: Put the Xsync at the end of the delete-frame code, that should
also cause other problems caused by this bug to go way]
Hi Ben,
actually I had considered putting the XSync in delete_frame but for
some reason had decided to stick it into x_get_mouse_position. (At
that time I figured that delete_frame would be called more often and
was *not* supposed to work synchronously -- apparently that's not
true).
But now I definitely agree that putting it in delete_frame is the
cleaner solution. Incidentally I discovered that XFlush is sufficient
to make the problem go away. At least that's the case on the Sun (with
OpenWindows==X11R6) I'm using here. Later I will check on Linux
(XFree86==X11R6.3) and if it works there as well I will send a patch.
many thanks for all your patience and the good advice.
Gunnar
--
Gunnar Evermann
Natural Language Systems Group, University of Hamburg
EMail: Gunnar.Evermann(a)nats.informatik.uni-hamburg.de