Jan Vroonhof <vroonhof(a)math.ethz.ch> 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]
Brilliant solution! delete_frame is not performance crititical.
I agree this is probably the best solution.
--didier