While there is no support for dropping tools exactly,
the cursor tool supports a keyboard oriented workflow
which is often over-ridden by other tools key-maps
While many tools had shortcuts there was no fast way to get back to
the cursor tool.
Now double-tapping space sets the cursor tool
(as long as this tool doesn't have a key mapped).
48ad67f4a3