Re: [isabelle] jEdit apparantly proves False
On Fri, 22 Nov 2013, Gottfried Barrow wrote:
I make a tangent here, which is not a complaint. It's just to inform you
on how some people work, and how it's related to getting info in the
I work a lot with my right hand on the mouse, and my left hand far away
from the keyboad. That causes me to prefer looking at info in the output
panel, rather than moving my left hand to the keyboard to press the
There are also two other things which prevent me from taking full
advantage of the info you make available. In the IDE gutter, I always
have line numbers displayed. Consequently, your icons aren't displayed.
As far as I can tell, I can't show both line numbers and information
icons in the gutter.
I also set the tooltip delay to about 1.5 seconds, because in Windows,
when I start typing, I immediately get an error, and a popup window pops
up where the mouse cursor is, which is where the text cursor is, and it
beeps at me for every character I type. The workaround is to move the
mouse cursor away from the text cursor before I begin typing, but I
don't remember to do that, so I set the tooptip delay to be long, which
is not optimal for cntl-mouse hovering.
You don't need to respond to any of that. I say it to explain that there
are a number of reasons that keep me hooked on output panel for info,
among which is wanting to see lots of info at once, primarily to see all
of the typing, bracketing, and constants.
Such precise descriptions of the manner of working are very important, to
help figure out further refinements of the Prover IDE.
This archive was generated by a fusion of
Pipermail (Mailman edition) and