Reducing tab size

Hylke Bons h.bons at
Thu Aug 16 19:18:17 EDT 2007

small-tab-icons, but you knew that already. :)


Sean Egan wrote:
> Ok, tonight is release night, which makes now decision time!
> We currently have with
> label formatting used to indicate buddy state.
> We can also do;
> reducing the size of the icons reaps most of the benefits of removing
> them altogether.
> Which is better?
> I'm probably going to revert the tab truncation, with the goal of
> doing it smarter later.
> Kevin said that nobody liked making tabs invisible from single-tabbed
> windows, and that he'd get everyone to complain at me, but nobody has
> since. To the contrary, I've gotten several compliments  about it.
> _______________________________________________
> Devel mailing list
> Devel at

More information about the Devel mailing list