# HG changeset patch
# User wenzelm
# Date 1353419752 -3600
# Node ID 921cc694057b897828e37e770672c8298e89ec87
# Parent  8c6fde547cbaac87c4ca0352483917f93e7c0aaf
known problems with Mac OS X are back -- Java 7u6 is not the last word (cf. ce37d4f8b4f4);

diff -r 8c6fde547cba -r 921cc694057b src/Tools/jEdit/README.html
--- a/src/Tools/jEdit/README.html	Tue Nov 20 14:29:46 2012 +0100
+++ b/src/Tools/jEdit/README.html	Tue Nov 20 14:55:52 2012 +0100
@@ -184,6 +184,21 @@
 </ul>
 
 
+<h2>Known problems with Mac OS X</h2>
+
+<ul>
+
+<li>The MacOSX plugin for jEdit disrupts tends to be disruptive. It
+might or might not improve the user experience, and is off by
+default.</li>
+
+<li>Java 7 (by Oracle) is officially supported starting with Lion (or
+later), but not Snow Leopard. It happens to work on the latter as
+well, but there might be some instabilities.</li>
+
+</ul>
+
+
 <h2>Licenses and home sites of contributing systems</h2>
 
 <ul>