Re: tab-switching g-t shrinkage
Nalin Dahyabhai <[email protected]>
| Newsgroups | gmane.comp.gnome.ximian.snapshots |
|---|---|
| Organization | Red Hat, Inc. |
| Message-ID | <[email protected]> |
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. Cheers, Nalin
gnome-terminal-2-0-vte-padding.patch
(text/plain, 570 B)
Index: terminal-widget-vte.c
===================================================================
RCS file: /cvs/gnome/profterm/src/terminal-widget-vte.c,v
retrieving revision 1.18
diff -u -r1.18 src/terminal-widget-vte.c
--- src/terminal-widget-vte.c 14 Jun 2002 19:28:59 -0000 1.18
+++ src/terminal-widget-vte.c 9 Aug 2002 15:23:43 -0000
@@ -101,9 +101,7 @@
int *xpad,
int *ypad)
{
- /* We don't do padding! */
- *xpad = 0;
- *ypad = 0;
+ vte_terminal_get_padding(VTE_TERMINAL(widget), xpad, ypad);
}
void