Re: [isabelle] Isabelle/jEdit: can anybody else reproduce

Hi Makarius,

This behaviour is nondeterministic (or it seems to be).  It happens when
I type very fast (which is rare). jEdit freezes and it helps to wait around
seconds or so for the system to unfreeze. Sometimes I kill the application
and start it all over again.

I did not report it, because I am not sure if this is related to W7, jEdit
jEdit/Isabelle. I always blame the first. It is already folklore and
to do so.

On Thu, Mar 21, 2013 at 11:32 AM, Makarius <makarius at> wrote:

> On Thu, 21 Mar 2013, Alfio Martini wrote:
>   That happens often with me, but I always thought it was W7愀 fault :-)
>>  But I never tried to look more carefully into this.
> Note that**isabelle_project/isabelle-**
> release/issue/6/jedit-no-**input-from-keyboard<>covers 2 or 3 oddities that are specific to Linux/X11 window management. I
> would be very surprised to see the very same effects on W7. Can you be more
> specific what is happenening in Windows?
> Generally it does not help to sweep problems under the carpet.  Issues
> that are not reported cannot be addressed.
>         Makarius

Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Coordenador do Curso de Ciência da Computação
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil

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