[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?
Jens




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