Ticket #45 (closed defect: fixed)
Opera doesn't like url-encoding in <a name>
|Reported by:||claus||Owned by:|
It seems that relative Urls like
don't work with Opera (9.51, windows). Or, rather, the urls do work if the corresponding 'name' is not url-encoded but not if it is. I don't know whether that is an Opera issue - for Internet Explorer, the situation seems reversed (the url works if the 'name' is url-encoded but not if it isn't).
I'm surprised by this incompatibility, but haven't yet found any relevant info. If there is no other workaround, haddock could perhaps generate both encoded and un-encoded names?