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

   1 diff -aurN gnome-terminal-2.13.90.orig/src/terminal-window.c gnome-terminal-2.13.90/src/terminal-window.c
   2 --- gnome-terminal-2.13.90.orig/src/terminal-window.c   2006-01-12 15:06:03.000000000 +0100
   3 +++ gnome-terminal-2.13.90/src/terminal-window.c        2006-01-30 23:34:19.630754000 +0100
   4 @@ -1361,8 +1361,8 @@
   5    num_pages = gtk_notebook_get_n_pages (GTK_NOTEBOOK (notebook));
   6    page_num = gtk_notebook_get_current_page (GTK_NOTEBOOK (notebook));
   7
   8 -  gtk_widget_set_sensitive (window->priv->previous_tab_menuitem,
   9 -                            page_num > 0);
  10 +  /*gtk_widget_set_sensitive (window->priv->previous_tab_menuitem,
  11 +                            page_num > 0);*/
  12
  13    on_last_page = (page_num >= num_pages - 1);
  14
  15 @@ -1384,8 +1384,8 @@
  16        gtk_widget_set_sensitive (window->priv->move_right_tab_menuitem, TRUE);
  17      }
  18
  19 -  gtk_widget_set_sensitive (window->priv->next_tab_menuitem,
  20 -                            !on_last_page);
  21 +  /*gtk_widget_set_sensitive (window->priv->next_tab_menuitem,
  22 +                            !on_last_page);*/
  23  }
  24
  25  static void