Christophe Rhodes csr21@cam.ac.uk writes:
I'm sure most of you know this already, but windows opened by OPEN-WINDOW-STREAM are not automatically closed when their parent is closed, even if they share the same event queue -- and once the parent
Could you please add an entry here?
It's not that I'm lazy and I don't want to do it myself (I'll gladly do it if you can't). It's just that I'm trying to spread the voice about the above unofficially official bug list.
Paolo