On Tue, 4 Mar 2008, Martin Langhoff wrote: > On Tue, Mar 4, 2008 at 12:13 PM, Junio C Hamano <gitster@xxxxxxxxx> 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 :-) The problem with using CSS to select tabstop width is twofold. First, it has to work correctly also in text browsers like lynx, elinks, w3m. Second, it is tabstop size, not the width of tab character; I'm not sure if it is possible to implement it in CSS. -- Jakub Narebski Poland -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
