Re: [isabelle] Isabelle/jEdit: can anybody else reproduce
On 21 March 2013 06:13, Matthew Fernandez
<matthew.fernandez at nicta.com.au> wrote:
> I have a similar issue , that Makarius has indicated is an interaction between Xmonad and this version of the JDK. However, unlike Christian's problem mine is consistently reproducible. Interestingly I have had no issues with other Java apps on this JDK or with standalone jEdit, but this may just be coincidence.
> : https://bitbucket.org/isabelle_project/isabelle-release/issue/11/linux-jedit-allows-no-editing-of-opened
I think I have had the same problem as you - are you using the latest
version of xmonad from the darcs repository? I think most of the input
and focus issues with xmonad and Isabelle/jEdit are related to this
bug in xmonad:
This bug was fixed very recently in the latest development versions,
and upgrading solved all my jEdit issues (bar the standard java not
playing nicely with non-reparenting window manager problems).
This archive was generated by a fusion of
Pipermail (Mailman edition) and