Re: <PRE tab-width=4>

Murray Maloney (murray@sco.COM)
Thu, 26 Jan 95 15:21:50 EST

>
> Dan Connolly wrote:
>
> > About tab width: The <PRE> element has a WIDTH attribute
> > (which sort of defaults to 80, and doesn't really do
> > anything on most browsers. When DSSSL-Lite comes along,
> > it will be much more useful.) I see no harm in
> > adding a tab-width attribute. [...]
> >
> > I don't see any harm in making this part of a future revision of
> > the standard. Anybody else?

Joe English responded:
>
> Sounds good to me.
>
> You might consider a TABSTOPS attribute too:
>
> <!attlist pre
> -- ... other attributes --
> tabwidth NUMBER #IMPLIED
> tabstops NUMBERS #IMPLIED
> >
>
> <pre tabstops="2 4 8 16 32">
> ..
> </pre>
>
> 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.

Murray