Re: <PRE tab-width=4>

Joe English (joe@trystero.art.com)
Thu, 26 Jan 95 14:16:20 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?

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.)

--Joe English

joe@trystero.art.com