Re: [PATCH] gitweb: add a setting to control the tabstop width
- From
Martin Langhoff <martin.langhoff@gmail.com>
- Date
- Mar 4, 2008, 03:35 UTC
- Message-ID
- <46a038f90803031935s7957a700nb5d3ba09b6575423@mail.gmail.com>
- In-Reply-To
- <7vhcfnfljw.fsf@gitster.siamese.dyndns.org>
On Tue, Mar 4, 2008 at 12:13 PM, Junio C Hamano <gitster@pobox.com> wrote:
> Some people say "Tabs are 8 characters, and thus indentations are also 8 > characters. There are heretic movements that try to make indentations 4 > (or even 2!) characters deep, and that is akin to trying to define the > value of PI to be 3." Some people disagree.
And on the web, people use CSS to sort these disagreements amicably... As a web apps guy, adding a setting for something like this, and then changing the output feels _very_ weird, as it breaks with a lot of stuff that Just Works in the HTTP+HTML world even for users that view it differently... like caching :-)
cheers,
martin