Comment 15 for bug 380844

Jiří Janoušek wrote:
> Anchors should be case-insensitive, multiple spaces replaced by
> one space. Maybe not to distinguish space, underscore and dash?

Nice! This is even more robust. And if it goes too far, we could add a checkbox for "Fuzzy anchor matching" in the prefs.

Jaap Karssenberg wrote:
> But if we keep all explicit anchors in an index table, why not implicit anchors as well ?

Do you mean an internal index table of anchor targets? Keeping this always consistent sounds difficult and would not help to find matching headings much faster for average page sizes, does it?

Your hidden IDs nicely solve the problem of implicit anchors getting invalid! But I would prefer Jiřís explicit anchors for that. Then we offer the best of both, and nothing must be hidden (which generally is not good IMHO).

Yes, although html rendering might be different, the rendered html itself should be the same for implicit and explicit anchors. The dynamic searching for headings is not necessary in html once it is rendered (=> no javascript needed).

About marking invalid links (and then anchors): I can search or open a bug report on that (tomorrow...)