Re: <PRE tab-width=4>

Albert Lunde (
Thu, 26 Jan 95 15:50:45 EST

> > This would also be useful. (And, I hope, might
> > replace the bletcherous <TAB> element in the current
> > HTML 3 draft.)
> >
> Do we need both attributes? Two ways to get the same thing?
> As long as we understand which one takes precedence, I suppose.

There are some environments where tab characters do not
work nicely (CMS EBCDIC comes to mind), and some transports that
convert tabs to spaces. In these contexts, one might
want a more robust markup.

    Albert Lunde