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 IDE.

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 control key.

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 MHonArc.