Email Gateway (Aug 19 2022 at 15:49): Email Gateway (Aug 19 2022 at 15:49):From: bnord <bnord01@gmail.com>
I find the following behaviour confusing:
In Isabelle/jEdit 2014-RC2 when the editor panel loses the focus there
stays a cursor in the editor pane. I can move this cursor using the
arrow keys etc. but cannot enter text at the position.
In 2013-2 there was no cursor in the editor but also I often was unhappy
that the focus was lost just because I selected some sledgehammer result
or similar. Ideally the text input should stay with the editor panel if
one selects an area where one cannot enter text.
Best
Benedikt
Email Gateway (Aug 19 2022 at 15:49):From: Makarius <makarius@sketis.net>
The main difference in the Isabelle2014-RC line is that the cursor of an
unfocused jEdit text area is shown in this special color. The input
behviour should be the same as before -- apart from some other fine tuning
elsewhere.
This behaviour stems from jEdit. Any discussions about the general editor
functionality should be continued at the jedit-devel mailing list, where I
am also subscribed. That sourceforge project is in dire need of some
people who help moving it forward -- jEdit 5.2 is actually scheduled for
this summer.
Makarius
Email Gateway (Aug 19 2022 at 15:49):From: bnord <bnord01@gmail.com>
Am 08.08.14 15:29, schrieb Makarius:
The main difference in the Isabelle2014-RC line is that the cursor of
an unfocused jEdit text area is shown in this special color. The
input behviour should be the same as before -- apart from some other
fine tuning elsewhere.
Yes but I find having a visible cursor you can move and select text with
and so on confusing.
This behaviour stems from jEdit. Any discussions about the general
editor functionality should be continued at the jedit-devel mailing
list, where I am also subscribed. That sourceforge project is in dire
need of some people who help moving it forward -- jEdit 5.2 is
actually scheduled for this summer.
I wouldn't expect that Project to survive outside the Isabelle world. I
think the editor itself isn't that great and will only live from "forks"
like Isabelle/jEdit that customize it to their needs and backport
improvements. You may forward my report if you like as I won't setup
another mailing list.
Email Gateway (Aug 19 2022 at 15:49):From: Makarius <makarius@sketis.net>
I never intended to "fork" the jEdit project in any way. The
Isabelle/jEdit plugin is a normal plugin, but happens to be written in
Scala. That imposes technical side-conditions on it that are not there
for Java plugins -- due to binary incompatibilities in the Scala world.
Note that I started the Isabelle/jEdit PIDE implementation, because I
considered jEdit to be the best text editor after vi and Emacs, and I
still hold up to that. jEdit and Scala taken together were the reasons for
me to get on the odd JVM platform in 2006, and even that still turns out
the best choice until today -- due to lack of alternatives.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC