Fixed #9, doubleclicks are now painted as two circles around the clicked point.