fix bug causing us not to detect double click, really gdk's problem for not...

fix bug causing us not to detect double click, really gdk's problem for not reporting it reliably. Also fix holes in mouse handling.