On 04/17/2017 09:28 PM, Frédéric Bron wrote:
> You might try activating the Magic Sysrq Key and using that
instead
Thanks, I will try that next time. It's good to know.
If you're planning on trying it, activate it now because if you need it,
it's too late. You might consider experimenting with it first, because
sometimes it only works with one of the Alt keys.