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.
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.