Tag: handling double-click in JavaScript