tkinter event binding to mouse double click

[Fredrik Lundh]

I wrote:
> it may be a problem with Tk on your platform

fwiw, it's a known problem in 8.2.1:

    http://www.deja.com/getdoc.xp?AN=612566673

however, I cannot find it in the current bug database:

    http://sourceforge.net/bugs/index.php?group_id=12997

so maybe it's been fixed in 8.3 or later?  (if not, maybe it's
time to resubmit the bug report...)

</F>