Greg Ewing wrote: > MRAB wrote: > >> Perhaps CTRL-C could be left as-is but also have a 'stronger' version >> like SHIFT-CTRL-C. > > There's already a stronger version, it's Ctrl-\. > OK, and as far as I can tell it's ctrl-break on Windows.