Email Gateway (Aug 18 2022 at 17:48): Email Gateway (Aug 18 2022 at 17:48):From: Ramana Kumar <rk436@cam.ac.uk>
I have experienced no problems whatsoever with the jedit interface
running with openjdk (apart from the annoying message upon startup
saying to get sun java instead).
What kind of problems are supposed to occur? Is it possible openjdk
has now been improved to eliminate them?
On the subject of jedit, though I believe independent of the choice of
jdk, is it possible to copy and paste text out of the prover output
window (where current subgoals are displayed)? It seems impossible,
which sometimes makes writing structured proofs a pain (where I want
to write "show <some subgoal>" without retyping the whole subgoal
myself.)
Email Gateway (Aug 18 2022 at 17:48):From: Makarius <makarius@sketis.net>
On Tue, 21 Jun 2011, Ramana Kumar wrote:
I have experienced no problems whatsoever with the jedit interface
running with openjdk (apart from the annoying message upon startup
saying to get sun java instead).
I've added this message after a course using Isabelle/jEdit. There was a
very explicit instruction about which jdk to use, but it was ignored by
half of the attendants. This was the half that experienced various
problems and instabilities later.
For some odd reasons, official jdk is sometimes considered "evil" and
openjdk "good". But openjdk 6 is technologically bad -- I have spent
enough time with it and its problems, and the jEdit people do not support
it for their platform. (You can ask on one mailing lists an see what they
say now. I've checked last about 1 year ago.)
For Java 7 and 8 the situation will probably change again. Larry Ellison
(Oracle) has announced that openjdk will be made the official code base.
This means openjdk will become idiologically "bad" -- officially supported
by Oracle -- and I hope that it will become technologically good at the
same time. Otherwise we have a problem (and the whole Java community).
is it possible to copy and paste text out of the prover output window
(where current subgoals are displayed)?
This should work with regular C-c and C-v. The mechanism is different
from the one of the jEdit buffer, but it uses the same Java clipboard.
Makarius
Email Gateway (Aug 18 2022 at 17:49):From: Makarius <makarius@sketis.net>
The www.jedit.org site now has a twitter portal. This is from some hours
ago: http://twitter.com/#!/dschulzg/status/83525484033482752
So there is no reason to belief that openjdk 6 has lost its problems
spontanously.
@_Vampire0_ jEdit isn't to blame, there's nothing wrong with it. In my case problem is Swing on Linux (IcedTea). Font rendering is awful.
- Diego Schulz (@dschulzg)Makarius
Last updated: Apr 20 2024 at 08:16 UTC