Re: [isabelle] Isabelle2014-RC0 available for testing



> Such focus problems are always annoying, and there are 3 main
> possibilities / responsibilities for the cause: Java/Oracle, jEdit,
> Isabelle/jEdit.

It doesn't happen for me when I open a jEdit instance from the contrib
folder:

$ cd .isabelle/contrib/jedit_build-20140511/contrib/jedit-5.1.0-patched
$ java -jar jedit.jar





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