When will jEdit be cleared to use Java 9?
Submitted by Thursday, 18 January, 2018 - 15:06
I cannot use jEdit with Java 9. I am running a Windows 10 x64-x86 box. When I click on any shortcuts that start the jEdit.exe program I get a message stating that i need a Java 1.8.x JRE and then am sent to a java Website to download the appropriate JRE. How do I inform the jEdit.exe program tjat java 9 is a valid java installation? Failing that, when can I expect to see a version of jEdit compatible with Java 9? Remember, Java 8 is officially unsupported as of October 2018. I do not look forward to creating form my own use some sort of script to run on a Windows 10 box to emulate the jEdit.exe program.
Highlight Plugin: What does the "Highlight overview" setting do?
Submitted by Friday, 18 May, 2018 - 10:27
The option settings for the "Highlight Plugin" named "Highlight Overview". What exactly is controlled with these settings?
Jedit 5.4.0 - hi CPU usage when text is selected and windows put to back
Submitted by Thursday, 24 May, 2018 - 12:10
I'm facing a strange behavior with Jedit 5.4.0
If I select some text in jedit, put another App in front of jedit then bring jedit back to the front by clicking on the jedit taskbar icon then Jedit (java process) starts consuming lots of CPU (up to 40% on a 2 core i5 system)
CPU utilization will only go down if I either click into the Jedit window or any of the Menu items.
disabling all Plugins did not help
I'm running Jedit under Win 10, java version "1.8.0_171"