I think selecting the highlight tool makes sense for consistency. This
is the way most of the other hotkeys work where a tool is involved.
On 3/26/2018 1:32 PM, Jon Evans wrote:
> OK, that's easy enough. Should the hotkey also switch to the dedicated
> highlight tool after that happens, or leave the selected tool alone?
>
I think selecting the highlight tool makes sense for consistency. This
is the way most of the other hotkeys work where a tool is involved.
On 3/26/2018 1:32 PM, Jon Evans wrote:
> OK, that's easy enough. Should the hotkey also switch to the dedicated
> highlight tool after that happens, or leave the selected tool alone?
>