gnome-terminal-disable-prev_next-tab-sensitivity-changes.patch

   1 --- gnome-terminal-2.6.1/src/terminal-window.c~ 2004-05-07 14:31:44.364178354 +0200
   2 +++ gnome-terminal-2.6.1/src/terminal-window.c  2004-05-07 14:32:03.449429701 +0200
   3 @@ -1283,8 +1283,8 @@
   4    notebook = window->priv->notebook;
   5    page_num = gtk_notebook_get_current_page (GTK_NOTEBOOK (notebook));
   6
   7 -  gtk_widget_set_sensitive (window->priv->previous_tab_menuitem,
   8 -                            page_num > 0);
   9 +  //gtk_widget_set_sensitive (window->priv->previous_tab_menuitem,
  10 +  //                          page_num > 0);
  11
  12
  13    /* FIXME
  14 @@ -1299,8 +1299,8 @@
  15    else
  16      gtk_widget_set_sensitive (window->priv->close_tab_menuitem, TRUE);
  17
  18 -  gtk_widget_set_sensitive (window->priv->next_tab_menuitem,
  19 -                            !on_last_page);
  20 +  //gtk_widget_set_sensitive (window->priv->next_tab_menuitem,
  21 +  //                          !on_last_page);
  22  }
  23
  24  static void