jEdit 4.3pre9 using Java 1.6.0_01 on Windows XP Pro Normally, the context menu key has the same effect as a mouse right click; in jEdit, however, it has no effect.