[PATCH] case-insensitive targets

[Ralf Hoelzer]

On Thursday 19 June 2003 00:46, George Staikos wrote:
> On Wednesday 18 June 2003 17:11, David Faure wrote:
> > On Wednesday 18 June 2003 19:19, Ralf Hoelzer wrote:
> > > The attached patch makes all HTML target names case-insensitive,
> > > according to the HTML 4.01 specs. I tested this with all the
> > > combinations I could come up with.
> >
> > Just wondering - wouldn't it mean touching less code, if whichever code
> > _sets_ URLArgs::frameName uses .lower(), instead of changing the code
> > using it? Hmm, not sure about that :)
>
>   I talked with dirk about this today and we agree that there might be some
> broken js code out there that expects case sensitive targets as they set
> them.

Yes,I agree. Hold back on this patch for a moment, this definitely breaks some 
stuff as I've just noticed. We should definetely make this case-insensitive 
though. I will have a look at this again in more detail.

Ralf