At 09:15 PM 05/19/02 +0200, Per Einar Ellefsen wrote: >> - instead of: >> <a name="here" href="#there">here</a> >> >> we should do: >> <a name="here"></a><a href="#there">here</a> > >Damn me. I was the one who said the former would work (I think). I didn't >take into account browser bugs :)
I remember doing the above, too. And I think I did the top one to "fix" something. Have to wait and see what breaks next...
Before it breaks: this was for the search parsing of the header lines. I guess you'll have to change something there again :)
-- Per Einar Ellefsen [EMAIL PROTECTED]
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
