Jan. 12, 2014
3:29 a.m.
On 01/11/2014 06:26 PM, J.F. Rick wrote:
Try just hitting Alt without anything else. That has worked for me on Linux.
Thanks for the suggestion. Hitting Alt alone doesn't seem to do anything either. I'm beginning to suspect that delays are not expiring at the OS level -- I'll be getting some traces later to see whether that hunch is a reasonable one. But right now I have to (get to!) go dance for a few hours. :-) Regards, -Martin