8 Dec
2004
8 Dec
'04
2:46 p.m.
Also Thomas Grill's [pool] seems to have been acting wonky since I started using popup, but I'm not sure if that's related. Essentially pools of the same name don't seem to share the same contents (thought I would share that with you in case popup's interfering, I really have no understanding of these things, though).
Oops, that's strange... do you have a simple example patch showing this behavior?
best greetings, Thomas