Reducing tab size

Ka-Hing Cheung khc at
Sat Aug 18 02:30:56 EDT 2007

On Fri, 2007-08-17 at 18:27 -0700, Sean Egan wrote:
> doesn't seem like a big deal to

I've been away, while this doesn't seem like a big jump, it's worse when
your tabs are at the bottom, especially when you are typing.

Even if you think it's a slight negative, it's a slight negative for no


More information about the Devel mailing list