W3C home > Mailing lists > Public > www-style@w3.org > December 2008

Re: Controlling size of a tab character (U+0009)

From: Anne van Kesteren <annevk@opera.com>
Date: Tue, 02 Dec 2008 16:36:45 +0100
To: "Jens Meiert" <jens@meiert.com>, "David Woolley" <forums@david-woolley.me.uk>
Cc: www-style@w3.org
Message-ID: <op.uljkbjyz64w2qv@annevk-t60.oslo.opera.com>

On Tue, 02 Dec 2008 15:52:45 +0100, Jens Meiert <jens@meiert.com> wrote:
>> We found the need to introduce a CSS property that allows controlling  
>> the size of a tab.
> Why, what's the problem you want to solve?

E.g. controlling the size of a tab while showing source code that contains  
tab characters in Opera Dragonfly.

On Tue, 02 Dec 2008 15:53:51 +0100, David Woolley  
<forums@david-woolley.me.uk> wrote:
> Why is this not a length?

Because the use case is controlling the size in preformatted text. We did  
not find it necessary to make this more complex.

> Why do you want it to change with font size, when inherited?

I don't understand.

Anne van Kesteren
Received on Tuesday, 2 December 2008 15:37:51 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 27 April 2009 13:55:17 GMT