Occasionally something will happen in Jedit (I guess I am pressing some key sequence that is putting me into some other mode), and the keys I press show up as all sort of strange symbols. I don't know how to fix the behavior; closing and re-opening Jedit doesn't help. The only thing that works is restarting my computer.
I also notice that sometimes there is a difference between right ctrl and left ctrl. For example, right now left ctrl + s will save my file, but right ctrl + s inserts the symbol ß into the buffer.
Can someone please explain why this happens?