> I agree that calling keyboard-quit is better.

So, I suggest the patch below.


        Stefan