NEWS: jEdit 5.7.0

[Makarius]

*** Isabelle/jEdit Prover IDE ***

* Text rendering performance on macOS may be improved by using old
OpenGL instead of new Metal. This is controlled by the java command-line
option "-Dsun.java2d.metal=false", which is now the default.

* Update to jEdit 5.7.0, the latest release.


This refers to current Isabelle/570b4652d143.

A version of jEdit 5.7.0 has been there before (from a few weeks ago), but now 
it should work smoothly as expected from a stable release. (I had to apply a 
few odd patches, notably for SideKick.)


	Makarius