[ jEdit-users ] ctrl- keychords gone again

[jfmxl <jfmxl@SDF.ORG>]

Hi,

My ctrl- keychords are gone again. I shutdown and rebooted the machine 
due to networking problems and when I started jedit ... discovered that 
it had stopped responding to ctrl- keycodes again.

I looked at the keymap table and saw nothing amiss there. I guess I'll 
wait until it automagically fixes itself again.

I'm going to have to resume my search for a replacement for jedit, I 
guess, much as I am accustomed to it and like it. It is just not at all 
reliable any longer.