diff options
Diffstat (limited to 'x11/gnome-terminal/files/patch-src_terminal-screen.c')
-rw-r--r-- | x11/gnome-terminal/files/patch-src_terminal-screen.c | 82 |
1 files changed, 0 insertions, 82 deletions
diff --git a/x11/gnome-terminal/files/patch-src_terminal-screen.c b/x11/gnome-terminal/files/patch-src_terminal-screen.c deleted file mode 100644 index ed0df8903..000000000 --- a/x11/gnome-terminal/files/patch-src_terminal-screen.c +++ /dev/null @@ -1,82 +0,0 @@ ---- src/terminal-screen.c.orig Wed Oct 18 15:50:28 2006 -+++ src/terminal-screen.c Wed Oct 18 15:49:42 2006 -@@ -244,6 +244,10 @@ - GtkAllocation *allocation) - { - GtkWidget *child; -+ GtkAllocation old_allocation; -+ -+ old_allocation.width = widget->allocation.width; -+ old_allocation.height = widget->allocation.height; - - widget->allocation = *allocation; - -@@ -251,6 +255,13 @@ - g_assert (child != NULL); - - gtk_widget_size_allocate (child, allocation); -+ -+ if (old_allocation.width != allocation->width || -+ old_allocation.height != allocation->height) -+ { -+ GtkWidget *term = TERMINAL_SCREEN (widget)->priv->term; -+ gtk_widget_queue_resize_no_redraw (term); -+ } - } - - static void -@@ -278,22 +289,22 @@ - #define URLPATH "/[" PATHCHARS "]*[^]'.}>) \t\r\n,\\\"]" - - terminal_widget_match_add (screen->priv->term, -- "\\<" SCHEME "//(" USER "@)?[" HOSTCHARS ".]+" -- "(:[0-9]+)?(" URLPATH ")?\\>/?", FLAVOR_AS_IS); -+ "[[:<:]]" SCHEME "//(" USER "@)?[" HOSTCHARS ".]+" -+ "(:[0-9]+)?(" URLPATH ")?[[:>:]]/?", FLAVOR_AS_IS); - - terminal_widget_match_add (screen->priv->term, -- "\\<(www|ftp)[" HOSTCHARS "]*\\.[" HOSTCHARS ".]+" -- "(:[0-9]+)?(" URLPATH ")?\\>/?", -+ "[[:<:]](www|ftp)[" HOSTCHARS "]*\\.[" HOSTCHARS ".]+" -+ "(:[0-9]+)?(" URLPATH ")?[[:>:]]/?", - FLAVOR_DEFAULT_TO_HTTP); - - terminal_widget_match_add (screen->priv->term, -- "\\<(mailto:)?[a-z0-9][a-z0-9.-]*@[a-z0-9]" -- "[a-z0-9-]*(\\.[a-z0-9][a-z0-9-]*)+\\>", -+ "[[:<:]](mailto:)?[a-z0-9][a-z0-9.-]*@[a-z0-9]" -+ "[a-z0-9-]*(\\.[a-z0-9][a-z0-9-]*)+[[:>:]]", - FLAVOR_EMAIL); - - terminal_widget_match_add (screen->priv->term, -- "\\<news:[-A-Z\\^_a-z{|}~!\"#$%&'()*+,./0-9;:=?`]+" -- "@[" HOSTCHARS ".]+(:[0-9]+)?\\>", FLAVOR_AS_IS); -+ "[[:<:]]news:[-A-Z\\^_a-z{|}~!\"#$%&'()*+,./0-9;:=?`]+" -+ "@[" HOSTCHARS ".]+(:[0-9]+)?[[:>:]]", FLAVOR_AS_IS); - - terminal_screen_setup_dnd (screen); - -@@ -548,7 +559,6 @@ - */ - terminal_screen_update_scrollbar (screen); - terminal_window_update_icon (screen->priv->window); -- terminal_window_update_geometry (screen->priv->window); - } - - if (GTK_WIDGET_REALIZED (screen->priv->term)) -@@ -909,7 +919,6 @@ - - terminal_widget_set_allow_bold (term, - terminal_profile_get_allow_bold (profile)); -- terminal_window_set_size (screen->priv->window, screen, TRUE); - } - - static void -@@ -1019,6 +1028,7 @@ - GtkWidget* - terminal_screen_get_widget (TerminalScreen *screen) - { -+ if (screen == NULL) return NULL; - return screen->priv->term; - } - |