Comment 22 for bug 1757446

Revision history for this message
Jon Evans (craftyjon) 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?