]> git.pld-linux.org Git - packages/gnome-terminal.git/blame_incremental - gnome-terminal-disable-prev_next-tab-sensitivity-changes.patch
- rel 3
[packages/gnome-terminal.git] / gnome-terminal-disable-prev_next-tab-sensitivity-changes.patch
... / ...
CommitLineData
1diff -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
This page took 0.025567 seconds and 4 git commands to generate.