> On 2021-12-29, at 1:12 PM, Chris Muller <asqueaker at gmail.com> wrote:
> 
> I'm really sorry for my misread!  I would propose Cmd+Shift+] if it is not too difficult for non-US keyboards.  

I think that is part of the original problem - they're stuck having to type ctl-alt-8 just to get the ]. So cmd-ctl-alt-shift-8 is a bit of a handful...

tim
--
tim Rowledge; tim at rowledge.org; http://www.rowledge.org/tim
Never write software that anthropomorphizes the machine. They hate that.