Re: AW: AW: problems with display of info files in emacs

[Martin Rubey]

>> It would be very nice to navigate to footnotes, but since we often
>> have things like "busy_beaver(3)" appearing in the text, and three
>> footnotes, info is unable to find out where to jump to...)
>
> I don't think I understand what you mean here.  What does
> "busy_beaver(3)" signify in your example? a reference to a man page or
> a reference to the 3rd footnote?

Neither. busy_beaver(3) would be ordinary text, saying that we are going
to compute the busy_beaver function with argument 3.  In fact, most
appearances of (1), (2), (3) will be non-footnotes.

>> > You can file an Emacs bug report about this, if you want a way to turn
>> > it off, or if you think unrelated numbers in parens should never
>> > generate a link on display.
>> 
>> I guess I should, but that means that info is not very useful for
>> viewing sage documentation right now.

done.

> I'd say this is an exaggeration.  Having some text displayed in a
> special face doesn't yet mean users can't read such a manual, far from
> it.

Well, currently sage-shell-mode displays the documentation as plain
text, without any links at all, but properly coloured.  Having the wrong
colours all over the place would be quite a distraction.

But as I said, I'm not quite giving up: maybe we can fix the other
problem (which is a genuine bug), and find a solution for this, too!

Many thanks for your help, in any case!

Martin