diff options
| -rw-r--r-- | x11/gnome-terminal/files/patch-src_terminal-widget-zvt.c | 13 | ||||
| -rw-r--r-- | x11/gnometerminal/files/patch-src_terminal-widget-zvt.c | 13 |
2 files changed, 26 insertions, 0 deletions
diff --git a/x11/gnome-terminal/files/patch-src_terminal-widget-zvt.c b/x11/gnome-terminal/files/patch-src_terminal-widget-zvt.c new file mode 100644 index 000000000000..84c13e0aaed1 --- /dev/null +++ b/x11/gnome-terminal/files/patch-src_terminal-widget-zvt.c @@ -0,0 +1,13 @@ +--- src/terminal-widget-zvt.c.orig Wed Feb 12 18:06:32 2003 ++++ src/terminal-widget-zvt.c Wed Feb 12 18:05:20 2003 +@@ -1132,8 +1132,8 @@ + terminal_widget_set_pango_font (GtkWidget *widget, + const PangoFontDescription *font_desc) + { +- g_return_if_fail (font_desc != NULL); +- zvt_term_set_pango_font (ZVT_TERM (widget), font_desc); ++ /*g_return_if_fail (font_desc != NULL); ++ zvt_term_set_pango_font (ZVT_TERM (widget), font_desc);*/ + } + + gboolean diff --git a/x11/gnometerminal/files/patch-src_terminal-widget-zvt.c b/x11/gnometerminal/files/patch-src_terminal-widget-zvt.c new file mode 100644 index 000000000000..84c13e0aaed1 --- /dev/null +++ b/x11/gnometerminal/files/patch-src_terminal-widget-zvt.c @@ -0,0 +1,13 @@ +--- src/terminal-widget-zvt.c.orig Wed Feb 12 18:06:32 2003 ++++ src/terminal-widget-zvt.c Wed Feb 12 18:05:20 2003 +@@ -1132,8 +1132,8 @@ + terminal_widget_set_pango_font (GtkWidget *widget, + const PangoFontDescription *font_desc) + { +- g_return_if_fail (font_desc != NULL); +- zvt_term_set_pango_font (ZVT_TERM (widget), font_desc); ++ /*g_return_if_fail (font_desc != NULL); ++ zvt_term_set_pango_font (ZVT_TERM (widget), font_desc);*/ + } + + gboolean |