[isabelle] Jedit and window managers

-------------- from Makarius on Friday, 14 2014 -----------------------
Nothing of that is speficic to Isabelle/jEdit or jEdit. These are general problems of AWT/Swing versus > X11 window managers, and major projects like Netbeans, IntelliJ, Minecraft have the same problems with > 50% of Linux installations.

Are you saying that there are principal deficiencies with (some) Linux versions or does it only concern SWING in older JDKs on Linux?

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.