Reducing tab size

Hylke Bons h.bons at
Sat Aug 18 07:26:29 EDT 2007

I agree. :P One tab really servers no purpose. And I'd like to see the
extra line that is available as chat/browsers space,
and I suspect much of the devs will have a lot of tabs open on startup.
And to say it's a steep learning curve, no. :)


Sean Egan wrote:
> On 8/17/07, David Bonner <dbonner at> wrote:
>> Same here.
> I stand corrected.
> You guys are all weird.
> -s.
> _______________________________________________
> Devel mailing list
> Devel at

More information about the Devel mailing list