Hmm, that could have gone in the other mail, but never mind:
I've pinged Jaroslav about this in a private mail, so it should go into
the next stable release. The corresponding changeset in John's archive
is
changeset: 8071:b6e85fb238c1
Thomas
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
