> I just tested it on linux and I do not observe a bug:
> in 3 xterms:
Thanks for your reply, Sam. I replicated your test procedure and it indeed
works. So the problem is probably somewhere in my own code, sorry about
that. I'll dig into it tomorrow.