mouse double-click handling.