- disables turning on/off previous/next tab menu items; to find out the reason see...

Changed files:
    gnome-terminal-disable-prev_next-tab-sensitivity-changes.patch -> 1.1

diff --git a/gnome-terminal-disable-prev_next-tab-sensitivity-changes.patch b/gnome-terminal-disable-prev_next-tab-sensitivity-changes.patch
new file mode 100644 (file)
index 0000000..75d1394
--- /dev/null
+++ b/gnome-terminal-disable-prev_next-tab-sensitivity-changes.patch
@@ -0,0 +1,24 @@
+--- gnome-terminal-2.6.1/src/terminal-window.c~        2004-05-07 14:31:44.364178354 +0200
++++ gnome-terminal-2.6.1/src/terminal-window.c 2004-05-07 14:32:03.449429701 +0200
+@@ -1283,8 +1283,8 @@
+   notebook = window->priv->notebook;
+   page_num = gtk_notebook_get_current_page (GTK_NOTEBOOK (notebook));
+   
+-  gtk_widget_set_sensitive (window->priv->previous_tab_menuitem,
+-                            page_num > 0);
++  //gtk_widget_set_sensitive (window->priv->previous_tab_menuitem,
++  //                          page_num > 0);
+ 
+ 
+   /* FIXME
+@@ -1299,8 +1299,8 @@
+   else
+     gtk_widget_set_sensitive (window->priv->close_tab_menuitem, TRUE);
+   
+-  gtk_widget_set_sensitive (window->priv->next_tab_menuitem,
+-                            !on_last_page);
++  //gtk_widget_set_sensitive (window->priv->next_tab_menuitem,
++  //                          !on_last_page);
+ }
+ 
+ static void