Re: [isabelle] Line numbers vs. icons

On 12/2/2013 9:21 AM, Makarius wrote:
I have no problems to paint icons along-side the line numbers, if jEdit provides free pixels for that.

I guess there's no need for that.

I though hovering over the info icon is what makes the tooltip window show up, but it's actually hovering over the squiggly lines that does it. Sometimes, hovering over the icon seems to do the trick, but it could be that the mouse cursor is close enough to the squiggly line to make it happen. Either way, the information is all the same, and hovering over the squiggly line always works.

A man does not need info icons when squiggly lines exist.

To belabor the point, to show how it was possible to fool a tech savvy person such as myself, if I pass my mouse cursor over a "theorem" with a squiggly line, to get to the icon, the tooltip window will display.

If I approach the icon from the top or bottom of the gutter, with my mouse cursor, no tooltip window is displayed. Consequently, I thought I was getting information from the icon, when I was getting information from the squiggly line.

The use of the Isabelle icon at the top of the PIDE window, and in the task bar, is helpful. I use a non-modified jEdit, and the jEdit icon was displayed for both jEdit and Isabelle/jEdit in the Windows task bar.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.