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
<http://annevankesteren.nl/>
<http://www.opera.com/>
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