Thanks allan: This is already saving me time!
re key choice - The only hassle with shift is that it is a harder target to hit than option or control would be.
Just playing for an hour, double tapping control feels like it would be a natural for undo incremental selections (control-W): Finger is already right there. Option would also be an option :-)
tim
On Jun 13, 2015, at 8:49 PM, Allan Odgaard mailinglist@textmate.org wrote:
On 13 May 2015, at 15:50, Tim Bates wrote:
No Single-tapping option to toggle selection type + Apple’s introduction of double-tapping suggests a good cancel would be double-tapping shift
Or double tapping option?
Just for the recors, I picked shift because assigning functionality to both single and double tapping option would mean that the latter function would always invoke the first, unless the first one was delayed until we could be sure that a second tap wouldn’t follow.
Although I assume that pretty much no-one single-taps option with multiple selections, and double-tapping (shift) is currently a no-op for when there is only one selection. So currently the key could be changed to option.