Re: tab-switching g-t shrinkage

On Fri, 2002-08-09 at 11:25, Nalin Dahyabhai wrote:
> On Fri, Aug 09, 2002 at 10:15:18AM -0400, Luis Villa wrote:
> > Yeah, I'm seeing it too. (It's a regression.) I don't know if a bug has
> > been filed on it yet; I've been pretty useless since yesterday afternoon
> > due to a combination of evo devel snapshot problems and sinus infection.
> > I'll track it down and file if not. Or just harass havoc directly ;)
> 
> The terminal widget now adds a pixel's worth of padding to each edge,
> and this is throwing off gnome-terminal because 2.0.1 doesn't know how
> to ask the widget how much padding is being used, and it assumes none.
> 
> There's a patch on HEAD which fixes this -- dunno if it needs to be
> added to the gnome-2-0 branch or just to the package.  I'm attaching it.

We don't add anything to the packages in order to catch this kind of
thing before 2.0.x branch releases. I have no idea what havoc's plans
are for stable+vte but it would be nice to have it in there, I'd
presume, since many people are still building and using the stable
branch.

Luis

_______________________________________________
gnome-2-snapshots maillist  -  [email protected]
http://lists.ximian.com/mailman/listinfo/gnome-2-snapshots