Java assumes regular "re-parenting" window manager;
authorwenzelm
Wed, 13 Feb 2013 19:52:58 +0100
changeset 51109 cabf63b1ddfd
parent 51108 fa66ed645b7f
child 51110 ef0592498418
Java assumes regular "re-parenting" window manager;
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/>