Comment 6 for bug 1544055

Revision history for this message
jean-pierre charras (jp-charras) wrote :

There is already a hotkey equivalent to the mouse double click.
therefore end tool with hotkey already exists since a long time for any command ending by a double click.