Mathias Hollstein

Does any of the devs have other ideas? Page http://www.jedit.org/index.php?page=compatibility lists several versions of jEdit. Do jEdit 4.x and 5.x equally receive security updates, i.e. are they officially supported branches? If so, I could try a downgrade to v4.x Page http://www.jedit.org/index.php?page=compatibility also lists Java 5 to 8 for the respective versions. Are there experimental builds in jEdit 5.x and 4.x branch, with OpenJDK 11 (JRE) at this point in time? If so, I could try an upgrade...

Yes, as I said "for testing the /home/<username>/.jedit/ directory was backed-up and the erased. After starting jEdit with a fresh ~/.jedit directory and default configuration, the issue was still present when opening multiple files".</username> Also, the plugins are stored in the settings directory, as per the jEdit configuration that I set (/home/USERNAME/.jedit/plugins/). I suspected a plugin, especally Session first as well, but since I use a completely fresh ~/.jEdit directory, I can rule that...

TDO DIR. CS jEdit 5.5 File Open (Slow) Bug 2019-03-20