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