Dan Wasson

Hello, this worked for me on Windows 10, jEdit 5.6.0 : at command prompt run "explorer shell:AppsFolder" (without quotes) in Applications dialog, on jEdit app, right click and select Open file location in Windows Explorer, on jEdit shortcut, right click and select Properties in jEdit Properties dialog, select Shortcut tab, clear ShortKey field, click Ok from info at https://www.laptopmag.com/articles/create-keyboard-shortcuts-windows-10 hope this helps Dan Wasson On 5/18/2022 9:02 AM, Heinz Berecz...

Mr Bareis, off topic, but thanks very much for makemsi. i used it extensively several years ago when i needed an installer. I donated, but not enough sorry wasn't able to help with your problem take care Dan Wasson On 4/30/2022 9:44 PM, dbareis via jEdit-devel wrote: I have now used the open "jdk-11.0.2" from the archive. I updated from JE 5.5 because of a minor problem with the lastest version of the session plugin, that plugin no longer works at all under JE 5.6 with this JDK [bugs:#4119] https://sourceforge.net/p/jedit/bugs/4119/...

swing look and feel affects enter key usage