Re: [isabelle] Isabelle/jEdit: can anybody else reproduce
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 sketis.net> 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 https://bitbucket.org/**isabelle_project/isabelle-**
> release/issue/6/jedit-no-**input-from-keyboard<https://bitbucket.org/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.
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