Email Gateway (Aug 19 2022 at 10:32): Email Gateway (Aug 19 2022 at 10:32):From: Christian Sternagel <c.sternagel@gmail.com>
Dear all,
(I think I never mentioned this on isabelle-users before.)
as documented here
https://bitbucket.org/isabelle_project/isabelle-release/issue/6/jedit-no-input-from-keyboard
I regularly experience an annoying issue with Isabelle/jEdit. This is
also the case for the official Isabelle2013 and so frequent that I can
no longer use jEdit for proper developments (or to be more precise, I
have to switch to a different window manager - that has a lot of other
issues - to do Isabelle stuff).
Just out of curiosity: Is there anybody else who can reproduce this issue?
cheers
chris
Email Gateway (Aug 19 2022 at 10:32):From: Alfio Martini <alfio.martini@acm.org>
Dear Christian,
That happens often with me, but I always thought it was W7´s fault :-)
But I never tried to look more carefully into this. Besides, I wanted to
give people in the list a well deserved rest.
Best!
Email Gateway (Aug 19 2022 at 10:33):From: Matthew Fernandez <matthew.fernandez@nicta.com.au>
I have a similar issue [0], that Makarius has indicated is an interaction between Xmonad and this version of the JDK. However, unlike Christian's problem mine is consistently reproducible. Interestingly I have had no issues with other Java apps on this JDK or with standalone jEdit, but this may just be coincidence.
Alfio Martini <alfio.martini@acm.org> wrote:
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Email Gateway (Aug 19 2022 at 10:33):From: Tjark Weber <webertj@in.tum.de>
I experience a similar (if not the same) issue, also on Fedora 18. But
it is relatively infrequent (maybe once every few hours), so I didn't
investigate further. Maybe you just need to type more slowly. ;)
Best,
Tjark
Email Gateway (Aug 19 2022 at 10:33):From: Makarius <makarius@sketis.net>
Note that
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.
Makarius
Email Gateway (Aug 19 2022 at 10:33):From: Alfio Martini <alfio.martini@acm.org>
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
10
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
or
jEdit/Isabelle. I always blame the first. It is already folklore and
acceptable
to do so.
Best!
Email Gateway (Aug 19 2022 at 10:33):From: Matthew Fernandez <matthew.fernandez@nicta.com.au>
Hi Alasdair,
I haven't tried the latest repo version, but had previously tried
applying the various workarounds from that thread to my xmonad.hs with
no success. I wrote it off at the time because that issue refers to
older JDKs and problems that I don't have. E.g. some of the applications
they mention run fine on my machine.
It's possible the fix does something different than the workarounds.
I'll try the repo version and see what happens. Thanks for the tip!
Matthew
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Email Gateway (Aug 19 2022 at 10:35):From: Makarius <makarius@sketis.net>
On Thu, 21 Mar 2013, Alfio Martini wrote:
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 10 seconds or so for the system to unfreeze. Sometimes I kill the
application and start it all over again.
OK, that sounds like the original problem that Christian Sternagel had
observed on his Fedora Core Linux, before we started experimenting and
diverged into problems with Linux/X11 window managers.
It is important to know that it is somehow a cross-platform problem, which
might indicate some general issue introduced by Oracle in Java 7. I might
come back to you in a couple of weeks/months when the first Java 8
developer test releases become available, to see if the issue persists.
I did not report it, because I am not sure if this is related to W7,
jEdit or jEdit/Isabelle. I always blame the first. It is already
folklore and acceptable to do so.
Times are changing. I am myself a classic Linux person with the
traditional attitudes towards Windows. In the past 5 years, I've done a
lot of cross-platform support for Isabelle, for Linux, Mac OS X, Windows,
which changed the perception a lot.
My attitudes towards any of these have become almost equally bad, with
falling tendencies for the first two and rising tendencies for the last.
Windows 7 and Windows 8 have caused relatively little worries to me
compared to the others. The impression might be biased by fewer people
testing very hard and critical.
Overall, I think we see a convergence of the stability and reliability of
Isabelle on all three platforms, hopefully with a tendency epsilon > 0.
Makarius
Email Gateway (Aug 19 2022 at 10:35):From: Makarius <makarius@sketis.net>
The second part seems to be an old debate of Sun vs. window manager
implementors.
Now that Oracle has the responsibility for Java, rules have changed a bit.
My impression is that "standard java" and "open jdk" are getting more and
more equal in the amount of minor drop-outs and annoyances.
I have myself no proper idea how the combined Oracle--OpenJDK developmemt
process works these days, but there might be a real chance to get such
details right, if some people point to the problems and propose concrete
solutions to these guys (and big companies).
Makarius
Email Gateway (Aug 19 2022 at 10:35):From: Alasdair Armstrong <a.armstrong@dcs.shef.ac.uk>
Dear Matthew,
I think I have had the same problem as you - are you using the latest
version of xmonad from the darcs repository? I think most of the input
and focus issues with xmonad and Isabelle/jEdit are related to this
bug in xmonad:
http://code.google.com/p/xmonad/issues/detail?id=177
This bug was fixed very recently in the latest development versions,
and upgrading solved all my jEdit issues (bar the standard java not
playing nicely with non-reparenting window manager problems).
Best,
Alasdair
Last updated: Apr 19 2024 at 16:20 UTC