Mouse: better double-click processing