Re: [isabelle] Isabelle2014-RC0 available for testing


Am Dienstag, den 22.07.2014, 13:17 +0200 schrieb Makarius:
> On Tue, 22 Jul 2014, Joachim Breitner wrote:
> > a moment later something happens that seems to give focus to the main 
> > window, while the menu is still open. This means that I cannot click on 
> > the open menu any more (and hover has no effect) and I first have to 
> > close the menu and re-open it.
> >
> > Minor, but may indicate another problem somewhere.
> Such focus problems are always annoying, and there are 3 main 
> possibilities / responsibilities for the cause: Java/Oracle, jEdit, 
> Isabelle/jEdit.
> What precisely is your desktop environment (presumably on Linux)?

ah, right: Linux with xmonad as the window manager. 

(I guess the latter bit makes all problems not easily reproducible by
others my very own ones :-)

Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter

Attachment: signature.asc
Description: This is a digitally signed message part

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