Reducing tab size

Gary Kramlich grim at
Fri Aug 17 21:36:11 EDT 2007

Sean Egan wrote:


> So I figured to ask here, where everyone will likely see it. So far,
> I've gotten two basic "me too" responses. Does anyone have a reason
> for not liking this?
> -s.

I've also been against jumping tab bars, although the current behavior 
is much more tolerable now, and I could live with it, although I'd 
prefer not to :)

Gary Kramlich <grim at>

More information about the Devel mailing list