# HG changeset patch
# User wenzelm
# Date 1360781578 -3600
# Node ID cabf63b1ddfd1dd65e684d52b27359c505f626f7
# Parent  fa66ed645b7f2256f431a034539cd134bb227527
Java assumes regular "re-parenting" window manager;

diff -r fa66ed645b7f -r cabf63b1ddfd src/Tools/jEdit/README.html
--- a/src/Tools/jEdit/README.html	Wed Feb 13 17:41:27 2013 +0100
+++ b/src/Tools/jEdit/README.html	Wed Feb 13 19:52:58 2013 +0100
@@ -198,6 +198,11 @@
   may disrupt Java 7 window placement and keyboard focus.</br/>
   <em>Workaround:</em> Disable such effects.</li>
 
+  <li>Linux/X11 managers that are not "re-parenting" may cause problems with
+  additional windows opened by the Java VM. This affects either historic or
+  neo-minimalistic window managers like "awesome".<br/>
+  <em>Workaround:</em> Use regular re-parenting window manager.</li>
+
   <li>The native MacOSX plugin for jEdit tends to be disruptive and is off
   by default. Enabling it might or might not improve the user
   experience.<br/>