Re: [isabelle] Isabelle2014-RC0 available for testing
On Tue, 22 Jul 2014, Joachim Breitner wrote:
What precisely is your desktop environment (presumably on Linux)?
ah, right: Linux with xmonad as the window manager.
Xmonad is known to be specifically Java-unfriendly, which is
understandable as a Haskell project. Not every version of xmonad is the
same, though, and there are concrete FAQ hints in
Quoting the first part of the text:
There are two classes of problems: blank, grey windows and windows that
can't be focused for keyboard input. The latter should be fixed in the
newest xmonad, so follow the instructions on the website for getting a
copy of the darcs repository and build it.
Now it only depends on what they mean by "fixed" and "newest", and when
that FAQ entry was actually written.
This archive was generated by a fusion of
Pipermail (Mailman edition) and